Logical foundations

>> Google Books

QRコード(所蔵情報)

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

形態:

xiii, 518 p. : ill. ; 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. 1 <BA20261791>

書誌ID:

BA20261714

ISBN:

9780198537458 [019853745X]

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	Artificial intelligence; Logic programming; Logic, Symbolic and mathematical
分類・件名:	LCC : QA76.63 DDC : 006.3 NDC9 : 007.1 NDC8 : 007.1 LCSH : Logic programming LCSH : Artificial intelligence LCSH : Logic, Symbolic and mathematical
LCCN:	92023358
注記:	Includes bibliographical references and indexes
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 図書 The many valued and nonmonotonic turn in logic Gabbay, Dov M., 1945-, Woods, John North-Holland
2 図書 Nonmonotonic reasoning and uncertain reasoning Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	8 図書 Handbook of the history of logic Gabbay, Dov M., 1945-, Woods, John Elsevier
3 図書 Fril, fuzzy and evidential reasoning in artificial intelligence Baldwin, J. F. (James Frederick), 1938-, Martin, T. P., Pilsworth, B. W. Research Studies Press, Wiley	9 電子ブック Foundations of Bayesianism Gabbay, Dov M.; Barwise, Jon; Corfield, David, Corfield, David, Williamson, J. Springer Netherlands
4 図書 Logical foundations of artificial intelligence Genesereth, Michael R., 1948-, Nilsson, Nils J., 1933- Morgan Kaufmann	10 電子ブック Logical and Computational Aspects of Model-Based Reasoning Gabbay, Dov M.; Barwise, Jon; Magnani, Lorenzo, Magnani, L., Nersessian, N.J., Pizzi, Claudio Springer Netherlands
5 電子ブック Logical Tools for Handling Change in Agent-Based Systems Gabbay, Dov M., Schlechta, Karl Springer Berlin Heidelberg	11 図書 Logical foundations of mathematics for behavioral scientists Luchins, Abraham S., Luchins, Edith H. Holt, Rinehart & Winston
6 図書 Logic and the modalities in the twentieth century Gabbay, Dov M., 1945-, Woods, John Elsevier	12 図書 Conceptual information processing Schank, Roger C., 1946-, Goldman, Neil M., Rieger, Charles J., Riesbeck, Christopher K. North-Holland, American Elsevier