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. : ill. ; 24 cm |
所蔵情報を非表示
1
秋田公立美術大学
| 配架場所 | 巻 次 | 請求記号 | 登録番号 | 状 態 | コメント | ISBN | 刷 年 | 利用注記 | 予約 | 指定図書 |
|---|---|---|---|---|---|---|---|---|---|---|
| 閉架書庫 | 2 | 007.64 || H29 || 2 | 0107251 |
|
0198537468 | 1994 |
|
|
書誌詳細を非表示
| 一般注記 | Includes bibliographical references and index |
|---|---|
| 著者標目 | Gabbay, Dov M., 1945- Hogger, Christopher John Robinson, J. A. (John Alan) |
| 件 名 | LCSH:Logic programming LCSH:Artificial intelligence LCSH:Logic, Symbolic and mathematical |
| 分 類 | NDC9:007.1 NDC8:007.1 LCC:QA76.63 DC20:006.3 |
| 書誌ID | 2000032134 |
| ISBN | 0198537468 |
| NCID | BA22029371 |
類似資料
-
1
Nonmonotonic reasoning and uncertain reasoning / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, D. Nute
-
2
Logical foundations / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
-
3
エージェントアプローチ : 人工知能 / Stuart Russell,peter Norvig著 ; 古川康一監訳
-
4
Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
-
5
Fuzzy logic for the management of uncertainty / edited by Lotfi A. Zadeh, Janusz Kacprzyk
-
6
The Foundations of artificial intelligence : a sourcebook / edited by Derek Partridge and Yorick Wilks : pbk
-
7
A perspective on intelligent systems : a framework for analysis and design / Ladislav Kohout : uk,: us
-
8
Minds, brains, and computers : perspectives in cognitive science and artificial intelligence / edited by Ralph Morelli ... [et al.]
-
9
Cognitive psychology of planning / by Jean-Michel Hoc ; originally published in French and translated by Constance Greenbaum
-
10
Common Lisp and artificial intelligence / Patrick R. Harrison