close
1.

図書
図書
1. Prolog++ : the power of object-oriented and logic programming
Chris Moss
出版情報: Wokingham, England ; Reading, Mass. : Addison-Wesley, c1994
シリーズ名: International series in logic programming
所蔵情報: loading…
2.

図書
図書
2. Inductive logic programming : techniques and applications
Nada Lavrač and Sašo Džeroski
出版情報: New York : E. Horwood, c1994
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. Deduction methodologies
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1994
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 2
所蔵情報: loading…
4.

図書
図書
4. Nonmonotonic reasoning and uncertain reasoning
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, D. Nute
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1994
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 3
所蔵情報: loading…
5.

図書
図書
5. From logic to logic programming
Kees Doets
出版情報: Cambridge, Mass. : MIT Press, c1994
シリーズ名: Foundations of computing
所蔵情報: loading…
6.

図書
図書
6. Implementations of logic programming systems
edited by Evan Tick, Giancarlo Succi
出版情報: Boston : Kluwer Academic Publishers, 1994
所蔵情報: loading…