お気に入り図書館を設定すると、貸出状況が表示されます エリアを選ぶ 現在地から探す
Logic programming
Gabbay,DovM. Hogger,ChristopherJohn Robinson,J.A.(JohnAlan)
Logical foundations
Gabbay,DovM. Hogger,ChristopherJohn Robinson,J.A.(JohnAlan)
Deduction methodologies
Gabbay,DovM. Hogger,ChristopherJohn Robinson,J.A.(JohnAlan)
Epistemic and temporal reasoning
Gabbay,DovM. Hogger,ChristopherJohn Robinson,J.A.(JohnAlan)
Nonmonotonic reasoning and uncertain reasoning
Gabbay,DovM. Hogger,ChristopherJohn Robinson,J.A.(JohnAlan)