Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings / Jacques Calmet ... [et al.] (eds.)
(Lecture notes in computer science ; 2385 . Lecture notes in artificial intelligence)
データ種別 | 図書 |
---|---|
出版者 | Berlin ; Tokyo : Springer-Verlag |
出版年 | c2002 |
形態 | xi, 341 p. : ill. ; 24 cm |
別書名 | 表紙タイトル:Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences AISC 2002 and Calculemus 2002, Marseille, France, July 2002 : proceedings |
著者標目 | International Conferences on Artificial Intelligence and Symbolic Computation (AISC) (6th : 2002 : Marseille, France) Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (10th : 2002 : Marseille, France) Calmet, Jacques |
分 類 | NDC:549.92 |
書誌ID | LT00644865 |
所蔵情報を非表示
状 態 | 巻 次 | 所 在 | 請求記号 | 資料番号 | ISBN | 刷 年 | コメント | 利用注記 | 予約・取寄 | お薦めの本 | 自動書庫 | 付録注記 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
|
中央自動書庫 | 549.92/L49-1/2385 | 0112665280100 | 9783540438656 |
|
|
|
|
|
書誌詳細を非表示
本文言語 | 英語 |
---|---|
一般注記 | "AISC 2002, the 6th International Conferences on Artificial Intelligence and Symbolic Computation, and Calculemus 2002, the 10th symposium on the Integration of Symbolic Computation and Mechanized Reasoning, were held jointly in Marseille, France on July 1-5, 2002."--Pref. Includes bibliographical references and index |
巻冊次 | ISBN:3540438653 |
目次/あらすじ