刊年 | 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 |