| NCID | BN03867065 |
| タイトル | 計算理論と論理プログラミング / Melvin Fitting [著] ; 山崎秀記 [ほか] 共訳||ケイサン リロン ト ロンリ プログラミング |
| 出版者 | 東京 : 丸善 , 1989.8 |
| 形態 | xii, 252p ; 22cm |
| 別書名 | Computability theory, semantics, and logic programming
|
| 分類 | NDC8:007.64
NDC7:418.6
NDLC:MA41 |
| 件名 | BSH:電子計算機 -- プログラミング
BSH:情報理論
|
| 著者情報 | Fitting, Melvin Chris
山崎, 秀記(1949-) (ヤマザキ, ヒデキ)
|
| 和洋区分 | 和 |
| 標題言語 | 日本語 |
| 本文言語 | 日本語 |
| 原作言語 | 英語 |
| 出版国 | 日本 |
| ISBN | 4621033972
|
| 番号 | OTHN : JLA:89023564 |