<図書>

Non-monotonic reasoning : 2nd International Workshop, Grassau, FRG, June 13-15, 1988 : proceedings / M. Reinfrank ... [et al.] (eds.)

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

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
工2・図書室
548.2:L49:346 1010124095


理7・CS図 : Germany 39:L:1.346 2012200073

4775/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1989
大きさ xiv, 237 p. : ill. ; 25 cm
一般注記 Papers presented at the Second International Workshop on Non-Monotonic Reasoning, which was held in June 1988 in Grassau, West Germany
Includes bibliographical references
著者標目 Reinfrank, M. (Michael), 1958-
International Workshop on Non-Monotonic Reasoning (2nd : 1988 : Grassau, FRG)
件 名 LCSH:Artificial intelligence -- Congresses
LCSH:Reasoning -- Congresses
LCSH:Logic, Symbolic and mathematical -- Congresses
分 類 LCC:Q334
DC19:006.3
本文言語 英語
書誌ID 2000108740
ISBN 3540507019
NCID BA05086652 WCLINK

類似資料

  1. 1 Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California / edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery
  2. 2 Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings / Jacques Calmet, John A. Campbell (eds.)
  3. 3 Exploring artificial intelligence : survey talks from the National Conferences on Artificial Intelligence / contributors, David Barstow ... [et al.] ; edited by Howard E. Shrobe and the American Association for Artificial Intelligence
  4. 4 Methodologies for intelligent systems, 3 : proceedings of the Third International Symposium on Methodologies for Intelligent Systems held October 12-15, 1988, in Turin, Italy / editors, Zbigniew W. Ras, Lorenza Saitta
  5. 5 Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings / K.H. Bläsius, U. Hedtstück, C.-R. Rollinger (eds.)
  6. 6 Artificial intelligence applications : the engineering of knowledge-based systems : proceedings of the Second Conference, Miami Beach, Florida, December 11-13, 1985 / Charles R. Weisbin, editor
  7. 7 Formal methods in artificial intelligence / Allan Ramsay
  8. 8 Formal methods in artificial intelligence / Allan Ramsay
  9. 9 Readings in nonmonotonic reasoning / edited by Matthew L. Ginsberg
  10. 10 Reasoning with incomplete information / David W. Etherington

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