検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA00602105
名称(HDNG)Hogger, Christopher John
から見よ(SF)Hogger, C. J
注記(NOTE)His Introduction to logic programming, 1984: CIP t.p. (Christopher John Hogger; Dept. of Computing, Imperial College of Science and Technology, London)
LCAID84054372
選択行を：
資料名所在
1Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson. -- Clarendon Press, . 
2Essentials of logic programming / Christopher John Hogger ; :, : pbk, . -- Clarendon Press, . -- (Graduate texts in computer science ; 1).図書館(書庫) 007.6:H
3Epistemic and temporal reasoning / edited by Dov M. Gabbay, C.J. Hogger and J.A. Robinson ; volume co-ordinator, Antony Galton. -- Clarendon Press, . -- (Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 4).図書館(書庫) 007.1:E
工情報 007.6:H:4
4Deduction methodologies / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann. -- Clarendon Press, . -- (Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 2).工情報 007.6:H:2
5Nonmonotonic reasoning and uncertain reasoning / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, D. Nute. -- Clarendon Press, . -- (Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 3).工情報 007.6:H:3
選択行を
▲ページトップへ