計算理論と論理プログラミング
丸善
1989/08
4621033972
|
和洋区分 | 和書 |
---|---|
書名,巻次,叢書名 | 計算理論と論理プログラミング |
著者名 | Melvin Fitting [著] 山崎秀記 [ほか] 共訳 |
分類記号1 | 007.64 |
著者記号 | F |
出 版 者 | 丸善 |
出版年月日 | 1989/08 |
定価 | 3,708 |
ペ ー ジ | 12, 252p |
サ イ ズ | 22cm |
ISBN1 | 4621033972 |
保管場所コード | 04 3F(書庫) |
件名 | 電子計算機 -- プログラミング||デンシケイサンキ -- プログラミング 情報理論||ジョウホウリロン |
内容細目1 | Computability theory, semantics, and logic programming |
---|