計算論理に基づく推論ソフトウェア論 / 山崎進著
ケイサン ロンリ ニ モトズク スイロン ソフトウェアロン
| データ種別 | 図書 |
|---|---|
| 出版者 | 東京 : コロナ社 |
| 出版年 | 2000.5 |
| 本文言語 | 日本語 |
| 大きさ | v, 190p ; 21cm |
| 別書名 | 奥付タイトル:Reasoning programming based on computational logic |
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | ISBN | 請求メモ | 予約 | 仮想書架 | 指定図書 |
|---|---|---|---|---|---|---|---|---|---|---|
| 泉:図書館開架(2階) |
|
007.13/K27y | a3000235680b |
|
4339023736 |
|
||||
| 泉:図書館閉架地下2階書庫 |
|
007.13/K27y | a3000235130b |
|
4339023736 |
|
類似資料
