| 出版情報 |
Oxford : Clarendon Press
Oxford ; New York : Oxford University Press , 1993 |
| 大きさ |
xiii, 518 p. : ill. ; 24 cm |
| 一般注記 |
Includes bibliographical references and indexes |
| 著者標目 |
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 |
TB00097596 |
| ISBN |
019853745X |
| NCID |
BA20261714
|
| 巻冊次 |
ISBN:019853745X ; PRICE:$90.00
|
