今話題の本
図書館マップ
本のレシピ
読みたいリスト
もっと見る
▼
読みたいリスト
書評
カーリルローカル
カーリルタッチ
図書館スタンプラリー
ログイン・新規登録
設定
▼
お気に入り図書館
高度な検索設定
ログイン
ログイン
図書館の設定
今話題の本
図書館マップ
本のレシピ
読みたいリスト
書評
ローカル
スタンプラリー
さがす
お気に入り図書館を設定すると、貸出状況が表示されます
エリアを選ぶ
現在地から探す
Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
InternationalConferenceonAutomatedDeduction/著 ほか
読みたい
読んだ
Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings
Goré,Rajeev/著 IJCAR/著 Leitsch,Alexander/著 ほか
読みたい
読んだ