Deduction methodologies

>> Google Books

所蔵情報QRコード

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

形態:

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 <BA20261791>

著者名:

ISBN:

9780198537465 [0198537468]

書誌ID:

BA22029371

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references and index

主題:

Artificial intelligence; Logic programming; Logic, Symbolic and mathematical

言語:

英語

目次情報:

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：

東工大ブックレビュー

類似資料:

1 図書 Nonmonotonic reasoning and uncertain reasoning Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	7 図書 Investigations in modal and tense logics with applications to problems in philosophy and linguistics Gabbay, Dov M., 1945- D. Reidel Pub. Co.
2 図書 Logical foundations Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	8 図書 Many-dimensional modal logics : theory and applications Gabbay, Dov M., 1945- Elsevier North Holland
3 図書 Handbook of logic in artificial intelligence and logic programming Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	9 図書 Handbook of the philosophy of science Gabbay, Dov M., 1945-, Thagard, Paul, Woods, John Elsevier
4 図書 Introduction to logic programming (: pbk) Hogger, Christopher John Academic Press	10 電子ブック Reactive Kripke Semantics Gabbay, Dov M., Gabbay Springer eBooks Computer Science, Springer Berlin Heidelberg
5 図書 Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings (: gw ; : us) International Conference on Temporal Logic, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen Springer-Verlag	11 電子ブック Reactive Kripke Semantics Gabbay, Dov M., Gabbay SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 図書 A deduction model of belief (: uk ; : us) Konolige, Kurt Pitman, Morgan Kaufmann	12 図書 Foundations of logic programming (U.S. ; Berlin) Lloyd, J. W. (John Wylie), 1947- Springer-Verlag