Logical foundations

>> Google Books

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 図書 Logic programming Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press	7 図書 Temporal logic : mathematical foundations and computational aspects Gabbay, Dov M., 1945-, Hodkinson, Ian, Reynolds, Mark (Mark A.), Finger, Marcelo Clarendon Press, Oxford University Press
2 図書 Deduction methodologies Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	8 図書 Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings International Conference on Temporal Logic, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen Springer-Verlag
3 図書 Nonmonotonic reasoning and uncertain reasoning Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	9 図書 Background : computational structures Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947- Clarendon Press
4 図書 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	10 図書 Background : mathematical structures Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947- Clarendon Press
5 図書 Epistemic and temporal reasoning Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	11 図書 Computational logic : essays in honor of Alan Robinson Robinson, J. A. (John Alan), Lassez, Jean-Louis, Plotkin, G. (Gordon), 1946- MIT Press
6 図書 What is a logical system? Gabbay, Dov M., 1945- Clarendon Press, Oxford University Press	12 図書 Logical foundations of artificial intelligence Genesereth, Michael R., 1948-, Nilsson, Nils J., 1933- Morgan Kaufmann