<図書>

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings / J. van Eijck (ed.)

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

所蔵情報を非表示

1

本郷キャンパス

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

5786/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1991
大きさ ix, 561 p. : ill. ; 25 cm
別書名 異なりアクセスタイトル:Logics in artificial intelligence
一般注記 "JELIA 1990, les Journées Européennes sur la Logique en Intelligence Artificielle, or ... the European Workshop on Logics in AI"--Pref
Includes bibliograhical references and index
著者標目 JELIA (1990 : Amsterdam, the Netherlands)
Eijck, J. van (Jan)
件 名 LCSH:Artificial intelligence -- Congresses
LCSH:Logic programming -- Congresses
LCSH:Semantics -- Data processing -- Congresses
LCSH:Logic, Symbolic and mathematical -- Congresses
LCSH:Nonclassical mathematical logic -- Congresses
分 類 LCC:Q334
DC20:006.3
NDC8:007.1
本文言語 英語
書誌ID 2000199027
ISBN 3540536868
NCID BA12064161 WCLINK

類似資料

  1. 1 Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings / Jacques Calmet, John A. Campbell (eds.)
  2. 2 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.)
  3. 3 Deduction methodologies / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
  4. 4 Nonmonotonic reasoning and uncertain reasoning / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, D. Nute
  5. 5 Logical foundations / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
  6. 6 Fundamentals of artificial intelligence research : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991 : proceedings / Ph. Jorrand, J. Kelemen, eds
  7. 7 EPIA 91 : 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991 : proceedings / P. Barahona, L. Moniz Pereira, A. Porto, (eds.)
  8. 8 GWAI-92 : advances in artificial intelligence : 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31-September 3, 1992 : proceedings / Hans Jürgen Ohlbach (ed.)
  9. 9 Advances in intelligent computing -- IPMU '94 : 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, July 4-8, 1994 : selected papers / Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh (eds.)
  10. 10 IPMU '92 : advanced methods in artificial intelligence : 4th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Palma de Mallorca, Spain, July 6-10, 1992 : proceedings / B. Bouchon-Meunier, L. Valverde, R.R. Yager (eds.)

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