| 出版情報 |
London ; New York ; Tokyo : Prentice Hall , 1996 |
| 大きさ |
xviii, 310 p. : 24 cm |
| 一般注記 |
Includes bibliographical references and index |
| 著者標目 |
*Burke, Edmund, Ph. D. Foxley, Eric, 1937-
|
| 件 名 |
LCSH:Logic programming LCSH:Logic, Symbolic and mathematical
|
| 分 類 |
LCC:QA76.63 DC20:511.3
|
| 本文言語 |
英語 |
| 書誌ID |
TY00009142 |
| ISBN |
0130302635 |
| NCID |
BA28354637
|
| 巻冊次 |
ISBN:0130302635
|