| 刊年 | 1989 |
| 形態 | 12, 252p ; 22cm |
| 別書名 | Computability theory, semantics, and logic programming
|
| 出版国 | 日本 |
| 標題言語 | 日本語 |
| 本文言語 | 日本語 |
| 原作言語 | 英語 |
| 著者情報 | Fitting, Melvin Chris
山崎, 秀記(1949-) (ヤマザキ, ヒデキ)
|
| 分類 | NDC8:007.64
NDLC:MA41
NDC7:418.6 |
| ISBN | 4621033972
|
| 件名 | BSH:電子計算機 -- プログラミング
BSH:情報理論
|
| NCID | BN03867065 |
| 番号 | OTHN : JLA:89023564 |