close
1.

図書
図書
1. The Logic programming paradigm : a 25-year perspective (: hardcover : alk. pap)
K.R. Apt ... [et al.] (Eds.)
出版情報: Berlin ; New York : Springer, c1999
シリーズ名: Artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings
Sašo Džeroski, Peter Flach (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1634 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. Logic programming
edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson
出版情報: Oxford : Clarendon Press, 1998
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 5
所蔵情報: loading…
4.

図書
図書
4. Advances in computational and stochastic optimization, logic programming, and heuristic search : interfaces in computer science and operations research
edited by David L. Woodruff
出版情報: Boston, Mass. : Kluwer Academic Publishers, c1998
シリーズ名: Operations research/computer science interface series ; ORCS 09
所蔵情報: loading…
5.

図書
図書
5. Programming with constraints : an introduction
Kim Marriott and Peter J. Stuckey
出版情報: Cambridge, Mass. : MIT Press, c1998
所蔵情報: loading…
6.

図書
図書
6. Autonomous, model-based diagnosis agents
by Michael Schroeder
出版情報: Boston : Kluwer Academic, c1998
シリーズ名: The Kluwer international series in engineering and computer science ; 442
所蔵情報: loading…
7.

図書
図書
7. Inductive logic programming : from machine learning to software engineering
Francesco Bergadano and Daniele Gunetti
出版情報: Cambridge, Mass. : MIT Press, c1996
シリーズ名: Logic programming
所蔵情報: loading…
8.

図書
図書
8. Reasoning with logic programming
José Júlio Alferes, Luís Moniz Pereira
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1111 . Lecture notes in artificial intelligence
所蔵情報: loading…
9.

図書
図書
9. Meta-logics and logic programming
edited by Krzysztof R. Apt and Franco Turini
出版情報: Cambridge, Mass. : MIT Press, c1995
シリーズ名: Logic programming
所蔵情報: loading…
10.

図書
図書
10. Logic programming : formal methods and practical applications
edited by Christoph Beierle, Lutz Plümer
出版情報: Amsterdam [Netherlands] ; Tokyo : Elsevier, 1995
シリーズ名: Studies in computer science and artificial intelligence ; 11
所蔵情報: loading…