<図書>

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.)

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

所蔵情報を非表示

1

本郷キャンパス

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

5508/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1990
大きさ viii, 307 p. : ill. ; 25 cm
一般注記 Includes bibliographical references
著者標目 Bläsius, Karl Hans, 1952-
Hedtstück, Ulrich, 1951-
Rollinger, Claus-Rainer, 1950-
件 名 LCSH:Artificial intelligence -- Congresses
LCSH:Logic, Symbolic and mathematical -- Congresses
LCSH:Sorting (Electronic computers) -- Congresses
LCSH:Abstract data types (Computer science) -- Congresses
分 類 LCC:Q334
DC20:006.3
本文言語 英語
書誌ID 2000156514
ISBN 3540523375
NCID BA10574892 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 Artificial intelligence, expert systems and symbolic computing / edited by Elias N. Houstis, John R. Rice
  3. 3 Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings / J. van Eijck (ed.)
  4. 4 Artificial intelligence, culture, and language : on education and work / Bo Göranzon and Magnus Florin (eds.)
  5. 5 Multiple approaches to intelligent systems : 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-99, Cairo, Egypt, May 31-June 3,1999, proceedings / Ibrahim Imam, Yves Kodratoff, Ayman El-Dessouki, Moonis Ali (eds.)
  6. 6 Tasks and methods in applied artificial intelligence / Angel Pasqual del Pobil, José Mira, Moonis Ali (eds.)
  7. 7 Methodology and tools in knowledge-based systems / José Mira, Angel Pasqual del Pobil, Moonis Ali (eds.)
  8. 8 Advances in artificial intelligence : 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedings / Díbio L. Borges, Celso A.A. Kaestner, (eds.)
  9. 9 AI and cognitive science '90 : University of Ulster at Jordanstown, 20-21 September 1990 / Michael McTear and Norman Creaney, (eds.)
  10. 10 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

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