<図書>

Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings / Jacques Calmet, John A. Campbell (eds.)

(Lecture notes in computer science;737)

所蔵情報を非表示

1

本郷キャンパス

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

6854/保存書庫

書誌詳細を非表示

出版者 Berlin ; Heidelberg ; New York : Springer-Verlag
出版年 c1993
大きさ 305 p. : ill. ; 25 cm
一般注記 Includes bibliographical references
著者標目 *International Conference AISMC (1st : 1992 : Karlsruhe, Germany)
Calmet, Jacques, 1941-
Campbell, John A., 1940-
件 名 LCSH:Artificial intelligence -- Congresses
LCSH:Logic, Symbolic and mathematical -- Congresses
分 類 LCC:Q334
DC20:006.3
本文言語 英語
書誌ID 2000306412
ISBN 0387573224
NCID BA21101473 WCLINK

類似資料

  1. 1 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.)
  2. 2 Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings / J. van Eijck (ed.)
  3. 3 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
  4. 4 Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30 -- October 3, 1996 : proceedings / José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska (eds.)
  5. 5 Logics in artificial intelligence : European Workshop JELIA '94, York, UK, September 5-8, 1994 : proceedings / Craig MacNish, David Pearce, Luís Moniz Pereira (eds.)
  6. 6 Logics in AI : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992 : proceedings / D. Pearce, G. Wagner, eds
  7. 7 Logics in artificial intelligence : European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998 : proceedings / Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach (eds.)
  8. 8 Fuzzy logic in artificial intelligence : towards intelligent systems : IJCAI '95 workshop, Montréal, Canada, August 19-21, 1995, selected papers / Trevor P. Martin, Ance L. Ralescu (eds.)
  9. 9 EPIA 89 : 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989 : proceedings / J.P. Martins, E.M. Morgado (eds.)
  10. 10 AI '90 : proceedings of the 4th Australian Joint Conference on Artificial Intelligence, Perth, 21-23 November, 1990 / edited by C.P. Tsang

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