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

Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings / Chitta Baral ... [et al.] (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2005
形態:
xiii, 454 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 3662 . Lecture notes in artificial intelligence <BA00009279>
著者名:
ISBN:
9783540285380 [3540285385]
書誌ID:
BA73372677
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Logic programming and nonmonotonic reasoning : 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings

LPNMR, Lifschitz, Vladimir, Niemelä, Ilkka

Springer
7 電子ブック Logic Programming and Nonmonotonic Reasoning

LPNMR 2005, Baral, Chitta, Kanade, Takeo, Greco, Gianluigi, Leone, Nicola, Terracina, Giorgio

Springer eBooks Computer Science, Springer Berlin / Heidelberg
2 図書 Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings

LPNMR, Gelfond, Michael, Leone, Nicola, Pfeifer, Gerald

Springer
8 電子ブック Logic Programming and Nonmonotonic Reasoning

LPNMR 2005, Baral, Chitta, Kanade, Takeo, Greco, Gianluigi, Leone, Nicola, Terracina, Giorgio

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
3 図書 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
9 図書 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
4 図書 Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings

LPNMR, Dix, J. (Jürgen), 1961-, Furbach, Ulrich, Nerode, Anil, 1932-

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

LPAR, Pfenning, Frank

Springer-Verlag
5 図書 Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers (: kart)

NMELP, Dix, J. (Jürgen), 1961-, Pereira, Luís Moniz, Przymusinski, Teodor C., 1947-

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 : 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
12 図書 Inductive logic programming : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings

ILP, Camacho, Rui, King, Ross, Srinivasan, Ashwin

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