>> Google Books
Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
フォーマット:
図書
責任表示:
Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)
言語:
英語
出版情報:
Berlin : Springer, c1999
形態:
xi, 388 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 1730 . Lecture notes in artificial intelligence <BA00009279>
書誌ID:
BA44225384
ISBN:
9783540667490 [3540667490]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings

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

Springer Verlag
7 図書 Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings

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

Springer-Verlag
2 図書 Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings

International Conference on Algebraic and Logic Programming, Hanus, Michael, Rodríguez Artalejo, M. (Mario)

Springer
8 図書 Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings

Brewka, Gerhard, Jantke, Klaus P., Schmitt, P. H. (Peter H.), 1948-, International Workshop on Nonmonotonic and &hellip;

Springer-Verlag
3 図書 Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings

LPAR, Pfenning, Frank

Springer-Verlag
9 図書 Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings

Kirchner, Hélène, Levi, Giorgio, 1942-, International Conference on Algebraic and Logic Programming

Springer-Verlag
4 図書 Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings

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

Springer-Verlag
10 図書 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings

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

Springer-Verlag
5 図書 Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings

ILP, Page, David, 1963-

Springer
11 図書 Logic programming : proceedings of the joint International Conference and Symposium on Logic Programming

International Conference on Logic Programming, Apt, Krzysztof R., 1949-, Association for Logic Programming

MIT Press
6 図書 Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings

International Conference on Algebraic and Logic Programming, Levi, Giorgio, 1942-, Rodríguez Artalejo, M. (Mario)

Springer-Verlag
12 図書 Logic programming : proceedings of the Twelfth International Conference on Logic Programming

Sterling, Leon

MIT Press