<図書>

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings / Harrie de Swart (ed.)

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

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer
出版年 c1998
大きさ x, 324 p. : ill. ; 24 cm
一般注記 This volume contains the papers presented at TABLEAUX'98, the International Conference on Analytic Tableaux and Related Methods, held on May 5-8, 1998 in Oisterwijk (conference centre Boschoord), near Tilburg, the Netherlands --Preface
Includes bibliographical references and index
著者標目 *TABLEAUX (1998 : Oisterwijk, Netherlands)
Swart, Harrie de
件 名 LCSH:Automatic theorem proving -- Congresses
LCSH:Artificial intelligence -- Congresses
分 類 LCC:QA76.9.A96
DC21:006.3/33
本文言語 英語
書誌ID 2000763637
ISBN 3540644067
NCID BA35779272 WCLINK

類似資料

  1. 1 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings / Niel V. Murray (ed.)
  2. 2 Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / William McCune (ed.)
  3. 3 Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / Claude Kirchner, Hélène Kirchner (eds.)
  4. 4 The automation of reasoning with incomplete information : from semantic foundations to efficient computation / Torsten Schaub
  5. 5 Principles of data mining and knowledge discovery : First European Symposium, PKDD '97, Trondheim, Norway, June 24-27, 1997 : proceedings / Jan Komorowski, Jan Zytkow (eds.)
  6. 6 Rippling : meta-level guidance for mathematical reasoning / Alan Bundy ... [et al.]
  7. 7 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings / Roy Dyckhoff (ed.)
  8. 8 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings / Uwe Egly, Christian G. Fermüller (eds.)
  9. 9 Deduction systems in artificial intelligence / editors, Karl Hans Bläsius, Hans-Jürgen Bürckert
  10. 10 A many-sorted calculus based on resolution and paramodulation / Christoph Walther

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