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

Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings / V.W. Marek, A. Nerode, M. Truszczyński (eds.)

資料種別:
図書
出版情報:
Berlin ; New York ; Tokyo : Springer Verlag, c1995
形態:
viii, 415 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 928 . Lecture notes in artificial intelligence <BA00009279>
著者名:
ISBN:
9783540594871 [3540594876] (: gw)
9780387594873 [0387594876] (: us)
書誌ID:
BA25252506
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings

Marek, V. Wiktor., Nerode, Anil., Truszcynski, Miroslaw., SpringerLink (Online service)

Springer Berlin Heidelberg
7 図書 Logic programming : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings

International Conference on Logic Programming, Etalle, Sandro, Truszczyński, Mirosław

Springer
2 図書 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
8 電子ブック Logic Programming and Nonmonotonic Reasoning : Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings

Furbach, Ulrich., Nerode, Anil., SpringerLink (Online service)

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 電子ブック Nonmonotonic Logic

Marek, Biermann, A., Bolc, L., Marek, V. Wiktor, Reiter, R., Truszczynski, Miroslaw

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Logic Programming and Nonmonotonic Reasoning

LPNMR '95, Marek, Wiktor, Nerode, Anil

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
10 図書 Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings

LPNMR, Baral, Chitta

Springer
5 図書 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
11 電子ブック Logic Programming and Nonmonotonic Reasoning

Calimeri, Ianni, Giovambattista, Truszczynski, Miroslaw

SpringerLink Books - AutoHoldings, Springer International Publishing
6 図書 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
12 図書 Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : …

TABLEAUX, Baumgartner, Peter, Hähnle, Reiner, Posegga, Joachim

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