|
計算理論と論理ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ
丸善
1989/08
4621033972
|
| Jpn. or Foreign | 和書 |
|---|---|
| Title | 計算理論と論理ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ |
| Author | Melvin Fitting [著] 山崎秀記 [ほか] 共訳 |
| Classification 1 | 007.64 |
| Author No. | F |
| Publisher | 丸善 |
| Pub. Date | 1989/08 |
| Price | 3,708 |
| Page | 12, 252p |
| Size | 22cm |
| ISBN | 4621033972 |
| Location Code | 04 ３F（書庫） |
| Subjects | 電子計算機 -- ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ||ﾃﾞﾝｼｹｲｻﾝｷ -- ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ 情報理論||ｼﾞｮｳﾎｳﾘﾛﾝ |
| Contents Note 1 | Computability theory, semantics, and logic programming |
|---|