<図書>

Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings / J.P. Martins, M. Reinfrank, (eds.)

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

所蔵情報を非表示

1

本郷キャンパス

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

5957/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1991
大きさ vi, 177 p. ; 25 cm
一般注記 "[Papers from] the Truth Maintenance Workshop ... held on August 6, 1990, during the European Conference on Artificial Intelligence in Stockholm, Sweden"--Pref
Includes bibliographical references
著者標目 Martins, João Pavão
Reinfrank, M. (Michael), 1958-
European Conference on Artificial Intelligence (1990 : Stockholm, Sweden)
Truth Maintenance Workshop (1990 : Stockholm, Sweden)
件 名 LCSH:Truth maintenance systems -- Congresses
分 類 LCC:Q338
DC20:006.3
NDC8:007.1
本文言語 英語
書誌ID 2000208153
ISBN 3540543058
NCID BA12757317 WCLINK

類似資料

  1. 1 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.)
  2. 2 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.)
  3. 3 Fundamentals of artificial intelligence research : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991 : proceedings / Ph. Jorrand, J. Kelemen, eds
  4. 4 EPIA 91 : 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991 : proceedings / P. Barahona, L. Moniz Pereira, A. Porto, (eds.)
  5. 5 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.)
  6. 6 Trends in artificial intelligence : 2nd congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31, 1991 : proceedings / E. Ardizzone, S. Gaglio, F. Sorbello, (eds.)
  7. 7 Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings / J. Dix, K.P. Jantke, P.H. Schmitt, eds
  8. 8 International Neural Network Conference : July 9-13, 1990, Palais des Congres - Paris - France / under the patronage of the Commission of the European Communities ; The International Neural Network Society (INNS), The IEEE Neural Network Council cooperating societies
  9. 9 Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.)
  10. 10 Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings / G. Brewka, K.P. Jantke, P.H. Schmitt, (eds.)

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