<図書>

Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach, (eds.)

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

所蔵情報を非表示

1

本郷キャンパス

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

8067/保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c1996
大きさ xv, 719 p. : ill. ; 24 cm
著者標目 *International Conference on Formal and Applied Practical Reasoning (1996 : Bonn, Germany)
Gabbay, Dov M., 1945-
Ohlbach, Hans Jürgen
件 名 LCSH:Automatic theorem proving -- Congresses
LCSH:Reasoning -- Congresses
LCSH:Artificial intelligence -- Congresses
分 類 NDC9:007.13
LCC:QA76.9.A96
DC20:006.3
NDC7:549.9
本文言語 英語
書誌ID 2000493363
ISBN 3540613137
NCID BA27697886 WCLINK

類似資料

  1. 1 Advances in artificial intelligence : 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '96, Tronto, Ontario, Canada, May 21-24, 1996 : proceedings / Gordon McCalla, (ed.)
  2. 2 Advances in artificial intelligence : 12th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '98, Vancouver, BC, Canada, June 18-20, 1998 : proceedings / Robert E. Mercer, Eric Neufeld (eds.)
  3. 3 Distributed artificial intelligence : architecture and modelling : First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995 : proceedings / Chengqi Zhang, Dickson Lukose, (eds.)
  4. 4 Multi-agent systems : methodologies and applications : Second Australian Workshop on Distributed Artificial Intelligence, Cairns, QLD, Australia, August 27, 1996 : selected papers / Chengqi Zhang, Dickson Lukose, (eds.)
  5. 5 Term indexing / Peter Graf
  6. 6 Diagrammatic representation and reasoning / Michael Anderson, Bernd Meyer, and Patrick Olivier (eds.)
  7. 7 AI*IA 97, advances in artificial intelligence : 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997 proceedings / Maurizio Lenzerini (ed.)
  8. 8 KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings / Günther Görz, Steffen Hölldobler, (eds.)
  9. 9 KI-95 : advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings / Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer (eds.)
  10. 10 Computational logic : essays in honor of Alan Robinson / edited by Jean-Louis Lassez and Gordon Plotkin

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