今話題の本
図書館マップ
本のレシピ
読みたいリスト
もっと見る
▼
読みたいリスト
書評
カーリルローカル
カーリルタッチ
図書館スタンプラリー
ログイン・新規登録
設定
▼
お気に入り図書館
高度な検索設定
ログイン
ログイン
図書館の設定
今話題の本
図書館マップ
本のレシピ
読みたいリスト
書評
ローカル
スタンプラリー
さがす
« 前にもどる
述語論理と論理プログラミング
有川,節夫,1941- 原口,誠,1954-
通算 5 読みたい！
読みたい
読んだ
お気に入り図書館の蔵書
設定
もっと
もっと探す
+もっと
北海道
青森県
岩手県
秋田県
宮城県
山形県
福島県
茨城県
栃木県
群馬県
埼玉県
千葉県
東京都
東京都（大学）
神奈川県
新潟県
長野県
山梨県
富山県
石川県
福井県
岐阜県
三重県
静岡県
愛知県
大阪府
京都府
滋賀県
兵庫県
奈良県
和歌山県
鳥取県
島根県
岡山県
広島県
山口県
愛媛県
高知県
香川県
徳島県
福岡県
佐賀県
長崎県
大分県
熊本県
宮崎県
鹿児島県
沖縄県
の図書館をまとめて探す
図書館を検索
CiNii Booksで大学図書館の所蔵を調べる
詳しい情報
出版社:
オーム社
(198805)
ISBN-10:
4274073866
ISBN-13:
9784274073861
