Holding List
Outline
|
計算理論と論理ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ
丸善
1989/08
4621033972
The cover image is from "Kinokuniya".
By clicking the image, the detailed page of the online store, Kinokuniya, is displayed. |
Status Information
Detail
| Jpn. or Foreign | 和書 |
|---|---|
| Title | 計算理論と論理ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ |
| Author | Melvin Fitting [著] 山崎秀記 [ほか] 共訳 |
| Publisher | 丸善 |
| Pub. Date | 1989/08 |
| Price | 3,708 |
| Page | 12, 252p |
| Size | 22cm |
| ISBN | 4621033972 |
| Subjects | 電子計算機 -- ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ||ﾃﾞﾝｼｹｲｻﾝｷ -- ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ 情報理論||ｼﾞｮｳﾎｳﾘﾛﾝ |
| Contents Note 1 | Computability theory, semantics, and logic programming |
|---|
Holding List
Holding1 items
-
1Label
- Classification 1007.64
- Author No.F
- Copy No.
Registration No.0004871
Classification 1007.64Author No.Location Code04 ３F（書庫）