| 出版情報 |
Amsterdam ; New York ; Tokyo : Elsevier , 1996 |
| 大きさ |
xiii, 329 p. : ill. ; 25 cm |
| 一般注記 |
Includes bibliographical references (p. 311-317) and index |
| 著者標目 |
*Metakides, George, 1945-
Nerode, Anil, 1932-
Sinochopoulos, A.
|
| 件 名 |
LCSH:Logic programming
LCSH:Logic, Symbolic and mathematical
|
| 分 類 |
LCC:QA76.63
DC20:005.13/1
|
| 本文言語 |
英語 |
| 書誌ID |
TY00010621 |
| ISBN |
0444816445 |
| NCID |
BA2862676X
|
| 巻冊次 |
ISBN:0444816445
|
