常翔学園 摂南大学図書館

述語論理と論理プログラミング

有川節夫, 原口誠共著. -- オーム社, 1988. -- (知識工学講座 ; 4). <BB99359570>
この書誌にはまだスタンプは押されていません。


登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~4件(全4件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 禁帯出区分 状態 返却予定日 予約
0001 広国一 広1図書 007.64||A 39817388 帯出可 0件
0002 広国呉 広呉書庫1F 007.64||A 30563351 帯出可 0件
0003 工大宮 工大6F一般図書 棚21 549.92||C||4 18808208 帯出可 0件
0004 摂本館 摂寝B1保存書庫2 549.92||C||4 29009526 帯出可 0件
No. 0001
巻号
所蔵館 広国一
配置場所 広1図書
請求記号 007.64||A
資料ID 39817388
禁帯出区分 帯出可
状態
返却予定日
予約 0件
No. 0002
巻号
所蔵館 広国呉
配置場所 広呉書庫1F
請求記号 007.64||A
資料ID 30563351
禁帯出区分 帯出可
状態
返却予定日
予約 0件
No. 0003
巻号
所蔵館 工大宮
配置場所 工大6F一般図書 棚21
請求記号 549.92||C||4
資料ID 18808208
禁帯出区分 帯出可
状態
返却予定日
予約 0件
No. 0004
巻号
所蔵館 摂本館
配置場所 摂寝B1保存書庫2
請求記号 549.92||C||4
資料ID 29009526
禁帯出区分 帯出可
状態
返却予定日
予約 0件

書誌詳細

タイトル/著者 述語論理と論理プログラミング / 有川節夫, 原口誠共著
ジュツゴ ロンリ ト ロンリ プログラミング
出版・頒布事項 東京 : オーム社 , 1988.5
形態事項 vii, 217p : 挿図 ; 22cm
巻号情報
ISBN 4274073866
シリーズ名 知識工学講座||チシキ コウガク コウザ <BB00054400> 4//a
注記 参考文献: p[211]-213
学情ID BN02198061
本文言語コード 日本語
著者標目リンク 有川, 節夫||アリカワ, セツオ <AU10062033>
著者標目リンク 原口, 誠||ハラグチ, マコト <AU30030831>
件名標目等 電子計算機 -- プログラミング||デンシケイサンキ -- プログラミング
件名標目等 プログラミング(電子計算機)||プログラミング(デンシケイサンキ)