<図書>

Qualitative and quantitative practical reasoning : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 : proceedings / Dov M. Gabbay ... [et al.] (eds.)

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

所蔵情報を非表示

1

本郷キャンパス

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

8546/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer
出版年 c1997
大きさ x, 620 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *International Joint Conference on Qualitative and Quantitative Practical Reasoning (1st : 1997 : Bad Honnef, Germany)
Gabbay, Dov M., 1945-
件 名 LCSH:Qualitative reasoning -- Congresses
LCSH:Problem solving -- Congresses
分 類 LCC:Q339.25
DC21:006.3/33
本文言語 英語
書誌ID 2000615216
ISBN 3540630953
NCID BA31203571 WCLINK

類似資料

  1. 1 Case-based reasoning research and development : Second International Conference on Case-Based Reasoning, ICCBR-97, Providence, RI, USA, July 25-27, 1997 : proceedings / David B. Leake, Enric Plaza, (eds.)
  2. 2 Case-based reasoning research and development : 4th International Conference on Case-Based Reasoning, ICCBR 2001, Vancouver, BC, Canada, July 30 - August 2, 2001 : proceedings / David W. Aha, Ian Watson (eds.)
  3. 3 Case-based reasoning research and development : 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003 : proceedings / Kevin D. Ashley, Derek G. Bridge (eds.)
  4. 4 Case-based reasoning technology : from foundations to applications / Mario Lenz ... [et al.] eds
  5. 5 Case-based reasoning research and development : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999 : proceedings / Klaus-Dieter Althoff, Ralph Bergmann, L. Karl Branting (eds.)
  6. 6 Recent advances in AI planning : 4th European Conference on Planning, ECP '97, Toulouse, France, September 24-26, 1997 : proceedings / Sam Steel, Rachid Alami, (eds.)
  7. 7 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings / Harrie de Swart (ed.)
  8. 8 Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / William McCune (ed.)
  9. 9 Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / Claude Kirchner, Hélène Kirchner (eds.)
  10. 10 Reasoning with complex cases / Friedrich Gebhardt ... [et al.]

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