所蔵一覧
概要
|
計算理論と論理ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ
丸善
1989/08
4621033972
表紙画像は「紀伊國屋書店」のものを使用しています。
画像をクリックすると紀伊國屋書店のオンラインストアの詳細ページを表示します。 |
利用状況
詳細
| 和洋区分 | 和書 |
|---|---|
| 書名,巻次,叢書名 | 計算理論と論理ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ |
| 著者名 | Melvin Fitting [著] 山崎秀記 [ほか] 共訳 |
| 出 版 者 | 丸善 |
| 出版年月日 | 1989/08 |
| 定価 | 3,708 |
| ペ ー ジ | 12, 252p |
| サ イ ズ | 22cm |
| ISBN1 | 4621033972 |
| 件名 | 電子計算機 -- ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ||ﾃﾞﾝｼｹｲｻﾝｷ -- ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ 情報理論||ｼﾞｮｳﾎｳﾘﾛﾝ |
| 内容細目１ | Computability theory, semantics, and logic programming |
|---|
所蔵一覧
所蔵1 冊
-
1ラベル
- 分類記号1007.64
- 著者記号F
- 副本記号
登録番号0004871
分類記号1007.64著者記号保管場所コード04 ３F（書庫）