隠す
COVID-19 : これまでとこれから
詳しく
今話題の本
図書館マップ
本のレシピ
読みたいリスト
もっと見る
▼
読みたいリスト
書評
カーリルローカル
カーリルタッチ
図書館スタンプラリー
ログイン・新規登録
設定
▼
お気に入り図書館
高度な検索設定
ログイン
さがす
お気に入り図書館を設定すると、貸出状況が表示されます
エリアを選ぶ
現在地から探す
Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings
Brewka,Gerhard/著 InternationalWorkshoponNonmonotonicandInductiveLogic,NIL'91/著 ほか
読みたい
読んだ
Results and trends in theoretical computer science : Colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings
Karhumäki,J/著 Maurer,HermannA./著 Rozenberg,Grzegorz/著 ほか
読みたい
読んだ