<図書>

Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira

(Lecture notes in computer science;1111 . Lecture notes in artificial intelligence)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
39:L:1.1111 2012632796

8135/保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
FU:Alferes 8010161753

普通図書

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer
出版年 c1996
大きさ xx, 326 p. ; 24 cm
一般注記 Includes bibliographical references
著者標目 *Alferes, José Júlio
Pereira, Luís Moniz
件 名 LCSH:Logic programming
LCSH:Reasoning
分 類 LCC:QA76.63
DC20:006.3/3
本文言語 英語
書誌ID 2000497138
ISBN 3540614885
NCID BA28155390 WCLINK

類似資料

  1. 1 Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
  2. 2 Epistemic and temporal reasoning / edited by Dov M. Gabbay, C.J. Hogger and J.A. Robinson ; volume co-ordinator, Antony Galton
  3. 3 Logic programming / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson
  4. 4 The phenomenon of commonsense reasoning : nonmonotonicity, action and information / Dimitrios Thanassas
  5. 5 Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings / Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)
  6. 6 Logic programming and nonmonotonic reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings / Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.)
  7. 7 Logic programming and nonmonotonic reasoning : 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings / Vladimir Lifschitz, Ilkka Niemelä (eds.)
  8. 8 Logic programming and non-monotonic reasoning : proceedings of the first international workshop / edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian
  9. 9 Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)
  10. 10 Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings / V.W. Marek, A. Nerode, M. Truszczyński (eds.)

検索結果一覧に戻る ページトップ