<図書>

Logics in artificial intelligence : European Workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings / Manuel Ojeda-Aciego ... [et al.] (eds.)

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

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2000
大きさ xi, 406 p. : ill. ; 24 cm
別書名 背表紙タイトル:JELIA 2000 : logics in artificial intelligence
一般注記 Includes bibliographical references and index
著者標目 *JELIA (2000 : Málaga, Spain)
Ojeda-Aciego, Manuel, 1967-
件 名 LCSH:Artificial intelligence -- Congresses
LCSH:Logic, Symbolic and mathematical -- Congresses
分 類 LCC:Q334
本文言語 英語
書誌ID 2001213529
ISBN 3540411313
NCID BA48765918 WCLINK

類似資料

  1. 1 Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings / Jacques Calmet, Jan Plaza (eds.)
  2. 2 Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conference AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings / Jacques Calmet ... [et al.] (eds.)
  3. 3 Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers / John A. Campbell, Eugenio Roanes-Lozano (eds.)
  4. 4 Artificial intelligence and symbolic computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings / Bruno Buchberger, John A. Campbell (eds.)
  5. 5 Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings / Jacques Calmet, John A. Campbell (eds.)
  6. 6 Symbolic and quantitative approaches to reasoning with uncertainty : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : proceedings / Salem Benferhat, Philippe Besnard (eds.)
  7. 7 Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California / edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery
  8. 8 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.)
  9. 9 Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings / J. van Eijck (ed.)
  10. 10 Fuzzy logic in artificial intelligence : IJCAI '97 Workshop, Nagoya, Japan, August 23-24, 1997 : selected and invited papers / Anca L. Ralescu, James G. Shanahan (eds.)

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