今話題の本
図書館マップ
本のレシピ
読みたいリスト
もっと見る
▼
読みたいリスト
書評
カーリルローカル
カーリルタッチ
図書館スタンプラリー
ログイン・新規登録
設定
▼
お気に入り図書館
高度な検索設定
ログイン
ログイン
図書館の設定
今話題の本
図書館マップ
本のレシピ
読みたいリスト
書評
ローカル
スタンプラリー
さがす
お気に入り図書館を設定すると、貸出状況が表示されます
エリアを選ぶ
現在地から探す
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science, 3132)
Lifschitz, Vladimir／Demoen, Bart
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings (Lecture Notes in Computer Science, 2923)
Lifschitz, Vladimir／Niemela, Ilkka
Theory of Deductive Systems and Its Applications (Mit Press Series in the Foundations of Computing)
Maslov, S. Yu.／Gelfond, Michael／Lifschitz, Vladimir
Formalizing Common Sense: Papers by John McCarthy (Ablex Series in Artificial Intelligence)
Lifschitz, Vladimir／McCarthy, John
Answer set programming
Vladimir Lifschitz
Answer set programming
Vladimir Lifschitz
Formalizing common sense : papers by John McCarthy
edited by Vladimir Lifschitz
Logical formalizations of commonsense reasoning : Papers from the AAAI Spring Symposium : Technical Report SS-07-05
Eyal Amir, Vladimir Lifschitz, and Rob Miller, cochairs
Handbook of knowledge representation
edited by Frank van Harmelen, Vladimir Lifschitz, Bruce Porter
עד קצה הגבול : מאמרים, רשימות, כתבות
עודד ליפשיץ
1
2
3
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings (Lecture Notes in Computer Science, 2923)
