<図書>

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings / Jürgen Dix, Ulrich Furbach, Anil Nerode, (eds.)

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

所蔵情報を非表示

1

本郷キャンパス

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

8586/保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c1997
大きさ x, 452 p. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *LPNMR (1997 : Dagstuhl, Wadern, Germany)
Dix, J. (Jürgen), 1961-
Furbach, Ulrich
Nerode, Anil, 1932-
件 名 LCSH:Logic programming -- Congresses
LCSH:Nonmonotonic reasoning -- Congresses
分 類 LCC:QA76.63
DC21:006.3/36
本文言語 英語
書誌ID 2000618019
ISBN 3540632557
NCID BA31440770 WCLINK

類似資料

  1. 1 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.)
  2. 2 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.)
  3. 3 Logic programming and nonmonotonic reasoning : 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings / Vladimir Lifschitz, Ilkka Niemelä (eds.)
  4. 4 Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)
  5. 5 Logic programming and non-monotonic reasoning : proceedings of the first international workshop / edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian
  6. 6 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.)
  7. 7 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.)
  8. 8 Logic programming and non-monotonic reasoning : proceedings of the second international workshop / edited by Luís Moniz Pereira and Anil Nerode
  9. 9 Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers / Annalisa Bossi (ed.)
  10. 10 Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 : proceedings / James Cussens, Alan Frisch (eds.)

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