>> Google Books
所蔵情報QRコード

Logic programming : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / Sandro Etalle, Mirosław Truszczyński (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2006
形態:
xiv, 474 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 4079 <BA00009279>
著者名:
ISBN:
9783540366355 [3540366350]
書誌ID:
BA78197020
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Logic programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings

International Conference on Logic Programming, Codognet, Philippe

Springer
7 図書 Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings (: gw ; : us)

LPNMR, Marek, Wiktor, Nerode, Anil, 1932-, Truszczyński, Mirosław

Springer Verlag
2 図書 Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings

International Conference on Logic Programming, Demoen, Bart, Lifschitz, Vladimir

Springer
8 図書 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings (: gw ; : us)

LPAR, Voronkov, A. (Andreĭ), 1959-

Springer-Verlag
3 図書 Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings

International Conference on Logic Programming, Stuckey, Peter J.

Springer
9 図書 Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings (: gw ; : us)

LPAR, Pfenning, Frank

Springer-Verlag
4 図書 Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings

International Conference on Logic Programming, Palamidessi, Catuscia

Springer
10 図書 Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings (: gw ; : us)

LPAR, Voronkov, A. (Andreĭ), 1959-

Springer-Verlag
5 図書 Logic programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings

International Conference on Logic Programming, Gabbrielli, Maurizio, Gupta, G., 1963-

Springer
11 図書 Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings

LPAR, Ganzinger, Harald, 1950-, McAllester, David A., Voronkov, A. (Andreĭ), 1959-

Springer-Verlag
6 図書 Logic programming and nonmonotonic reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings

LPNMR, Eiter, Thomas, 1966-, Faber, Wolfgang, 1974-, Truszczyński, Mirosław

Springer
12 図書 Logic for Programming,Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

LPAR, Nieuwenhuis, Robert, Voronkov, A. (Andreĭ), 1959-

Springer
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12