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

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings / Jürgen Dix, Ulrich Furbach, Anil Nerode, (eds.)

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

類似資料:

1 電子ブック Logic Programming And Nonmonotonic Reasoning

LPNMR '97, Dix, Jürgen, Fuhrbach, Ulrich, Nerode, Anil

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
7 図書 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
2 図書 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
8 図書 Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings (: gw ; : us)

Dix, J. (Jürgen), 1961-, International Workshop on Nonmonotonic and Inductive Inference, Jantke, Klaus P., Schmitt, P. …

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

LPNMR '95, Marek, Wiktor, Nerode, Anil

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 図書 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
10 図書 Logic programming and knowledge representation : third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers

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

Springer
5 図書 Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings

LPNMR, Baral, Chitta

Springer
11 図書 Logics in artificial intelligence : European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998 : proceedings

JELIA, Dix, J. (Jürgen), 1961-, Fariñas del Cerro, Luis, Furbach, Ulrich

Springer
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 図書 Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, …

International Seminar on Logic Database and the Meaning of Change, Freitag, Burkhard, 1953-, Post-Conference Workshop on …

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