close
1.

図書
図書
1. 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…
2.

図書
図書
2. 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…
3.

図書
図書
3. 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…
4.

図書
図書
4. Logical foundations
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, 1993
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 1
所蔵情報: loading…
5.

図書
図書
5. Handbook of logic in artificial intelligence and logic programming
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1993-1998
所蔵情報: loading…
6.

図書
図書
6. Reasoning from incomplete knowledge in a procedural deduction system
Robert C. Moore
出版情報: New York : Garland Pub., 1980
シリーズ名: Outstanding dissertations in the computer sciences
所蔵情報: loading…
7.

図書
図書
7. Logics for artificial intelligence
Raymond Turner
出版情報: Chichester : E. Horwood, 1985, c1984
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
8.

図書
図書
8. The mathematics of inheritance systems (: Pitman ; : Kaufmann)
David S. Touretzky
出版情報: London : Pitman , Los Altos, Calif. : M. Kaufmann Publishers, 1986
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
9.

図書
図書
9. A deduction model of belief (: uk ; : us)
Kurt Konolige
出版情報: London : Pitman , Los Altos, Calif. : Morgan Kaufmann, 1986
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
10.

図書
図書
10. Symbolic logic and mechanical theorem proving
Chin-Liang Chang, Richard Char-Tung Lee
出版情報: New York : Academic Press, c1973
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…