close
1.

図書
図書
1. Propositional logic : deduction and algorithms
Hans Kleine Büning, Theodor Lettman
出版情報: Cambridge : Cambridge University Press, 1999
シリーズ名: Cambridge tracts in theoretical computer science ; 48
所蔵情報: loading…
2.

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

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

図書
図書
4. Epistemic logic for AI and computer science (hardback)
J.-J. Ch. Meyer and W. van der Hoek
出版情報: Cambridge ; New York : Cambridge University Press, c1995
シリーズ名: Cambridge tracts in theoretical computer science ; 41
所蔵情報: loading…
5.

図書
図書
5. 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…
6.

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

図書
図書
7. Simply logical : intelligent reasoning by example (: disk ; : book/disk set)
Peter Flach
出版情報: Chichester ; New York : Wiley, c1994
所蔵情報: loading…
8.

図書
図書
8. 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…
9.

図書
図書
9. The logic of information structures (: us ; : gw)
Heinrich Wansing
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 681 . Lecture notes in artificial intelligence
所蔵情報: loading…
10.

図書
図書
10. Conditional inference and logic for intelligent systems : a theory of measure-free conditioning
I.R. Goodman, H.T. Nguyen, and E.A. Walker
出版情報: Amsterdam : North-Holland , New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1991
所蔵情報: loading…
11.

図書
図書
11. From natural language processing to logic for expert systems : a logic based approach to artificial intelligence
editor, André Thayse ; authors, Jean-Louis Binot ... [et al.]
出版情報: Chichester ; New York : Wiley, c1991
所蔵情報: loading…
12.

図書
図書
12. Reasoning with incomplete information (uk. ; us.)
David W. Etherington
出版情報: London : Pitman , Los Altos, Calif. : M. Kaufmann Publishers, 1988
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
13.

図書
図書
13. Readings in nonmonotonic reasoning
edited by Matthew L. Ginsberg
出版情報: Los Altos, Calif. : M. Kaufmann Publishers, c1987
所蔵情報: loading…
14.

図書
図書
14. Theory of deductive systems and its applications
S.Yu. Maslov ; translated by Michael Gelfond and Vladimir Lifschitz
出版情報: Cambridge, Mass. : MIT Press, c1987
シリーズ名: MIT Press series in the foundations of computing
所蔵情報: loading…
15.

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

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

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