＜図書＞
述語論理と論理プログラミング / 有川節夫, 原口誠共著
ジュツゴ ロンリ ト ロンリ プログラミング
(知識工学講座 ; 4)
| データ種別 | 図書 |
|---|---|
| 出版情報 | 東京 : オーム社 , 1988.5 |
| 大きさ | vii, 217p ; 22cm |
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 登録番号 | 状 態 | コメント | ISBN | 利用注記 | 予約 |
|---|---|---|---|---|---|---|---|---|
| 東京西 2F一般 |
|
007.64/A71 | 8901042989 |
|
4274073866 |
|