Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings

>> Google Books

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

言語:

英語

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1990

形態:

viii, 307 p. : ill. ; 25 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 418 . Lecture notes in artificial intelligence <BA00009279>

書誌ID:

BA10574892

ISBN:

9783540523376 [3540523375] (: gw)

9780387523378 [0387523375] (: us)

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	Abstract data types (Computer science)--Congresses; Artificial intelligence--Congresses; Logic, Symbolic and mathematical--Congresses; Sorting (Electronic computers)--Congresses
分類・件名:	LCC : Q334 DDC : 006.3 LCSH : Artificial intelligence -- Congresses LCSH : Logic, Symbolic and mathematical -- Congresses LCSH : Sorting (Electronic computers) -- Congresses LCSH : Abstract data types (Computer science) -- Congresses
LCCN:	90009872
注記:	Includes bibliographical references
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Logics in artificial intelligence : European Workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings JELIA, Ojeda-Aciego, Manuel, 1967- Springer	7 図書 Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings International Conference AISC, Calmet, Jacques, 1941-, Plaza, Jan Springer
2 図書 KI-95 : advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings German Conference on Artificial Intelligence, Wachsmuth, Ipke, Rollinger, Claus-Rainer, 1950-, Brauer, Wilfried, 1937- Springer-Verlag	8 図書 Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings Workshop on Specification of Abstract Data Types, Ehrig, Hartmut Springer-Verlag
3 図書 Non-monotonic reasoning : 2nd International Workshop, Grassau, FRG, June 13-15, 1988 : proceedings Reinfrank, M. (Michael), 1958-, International Workshop on Non-Monotonic Reasoning Springer-Verlag	9 図書 Information systems and artificial intelligence : integration aspects : first workshop, Ulm, FRG, March 19-21, 1990, proceedings Workshop on Information Systems and Artificial Intelligence, Karagiannis, Dimitris, 1956- Springer-Verlag
4 図書 Deduction systems in artificial intelligence Bläsius, Karl Hans, 1952-, Bürckert, Hans-Jürgen Ellis Horwood Limited, Halsted Press	10 図書 Logics in artificial intelligence : European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998 : proceedings JELIA, Dix, J. (Jürgen), 1961-, Fariñas del Cerro, Luis, Furbach, Ulrich Springer
5 図書 Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940- Springer-Verlag	11 図書 MICAI 2002 : advances in artificial intelligence : Second Mexican International Conference on Artificial Intelligence, Mérida, Yucatán, Mexico, April 22-26, … Mexican International Conference on Artificial Intelligence, Coello, Carlos A. Coello, Albornoz, Alvaro de, Sucar, L. … Springer
6 図書 Frontiers of combining systems : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : Proceedings International Workshop on Frontiers of Combining Systems, Kirchner, Hélène, Ringeissen, Christophe, 1967- Springer-Verlag	12 図書 MICAI 2000 : advances in artificial intelligence : Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000 : … Mexican International Conference on Artificial Intelligence, Cairo, Osvaldo, 1960-, Sucar, L. Enrique, 1957-, … Springer