close
1.

図書

図書
前田清志編
出版情報: 東京 : オーム社, 1994.5  xiii, 146p ; 19cm
シリーズ名: テクノライフ選書
所蔵情報: loading…
2.

図書

図書
エルンスト・マイア [著] ; 八杉貞雄, 新妻昭夫訳
出版情報: 東京 : 東京化学同人, 1994.11  xvi, 545, 60p ; 20cm
所蔵情報: loading…
3.

図書

図書
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  xv, 511 p. ; 24 cm
シリーズ名: 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…
目次情報: 続きを見る
Automated Reasoning / L. Wos ; R. Veroff2.1:
General Unification Theory / J. Siekmann2.2:
Induction / Ch. Walther2.3:
Higher-Order Features, Types and Fixpoints / D. Leivant2.4:
Metalanguages, Reflection Principles and Self Reference / D. Perlis ; V.S. Subrahmanian2.5:
Classical vs non-classical Logic / D. Gabbay2.6:
Automated Reasoning / L. Wos ; R. Veroff2.1:
General Unification Theory / J. Siekmann2.2:
Induction / Ch. Walther2.3:
4.

図書

図書
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  xix, 529 p. ; 24 cm
シリーズ名: 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…
目次情報: 続きを見る
AI and Nonmonotonic Reasoning / M. Ginsberg3.1:
General Non monotonic Logic / D. Makinson3.2:
Some direct theories of nonmonotonic Inheritance / J. Horty3.3:
Default Logic / D. Poole3.4:
Autoepistemic Logic / K. Konolige3.5:
Circumscription / V. Lifschitz3.6:
Defeasible Logic / D. Nute3.7:
Probabilistic Logic / H. Kyburg3.8:
Possibilistic Logic / 3.9:
AI and Nonmonotonic Reasoning / M. Ginsberg3.1:
General Non monotonic Logic / D. Makinson3.2:
Some direct theories of nonmonotonic Inheritance / J. Horty3.3:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼