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

>> Amazon.co.jp

このページのQRコード

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

著者名:

シリーズ名:

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

ISBN:

9783540523376 [3540523375] (: gw)

9780387523378 [0387523375] (: us)

注記:

Includes bibliographical references

所蔵情報

子書誌情報

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

詳細

主題:	Abstract data types (Computer science)--Congresses; Artificial intelligence--Congresses; Logic, Symbolic and mathematical--Congresses; Sorting (Electronic computers)--Congresses
分類・件名:	NDC7 : 549 NDC9 : 007.13 LCSH : Artificial intelligence -- Congresses LCSH : Logic, Symbolic and mathematical -- Congresses LCSH : Sorting (Electronic computers) -- Congresses LCSH : Abstract data types (Computer science) -- Congresses
LCCN:	90009872
TTLL:	eng
言語:	英語
形態:	viii, 307 p. : ill. ; 25 cm
書誌ID:	BA10574892

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Sorts and Types in Artificial Intelligence : Workshop, Eringerfeld, FRG, April 24–26, 1989 Proceedings Bläsius, Karl Hans, Hedtstück, Ulrich, Rollinger, Claus-Rainer, SpringerLink (Online service) Springer-Verlag	7 図書 Frontiers of combining systems : 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : Proceedings International Workshop on Frontiers of Combining Systems, Armando, Alessandro Springer-Verlag
2 電子ブック Sorts and Types in Artificial Intelligence : Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings Bläsius, Karl H., Hedtstück, Ulrich., Rollinger, Claus-Rainer., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	8 図書 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
3 図書 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	9 図書 Fundamentals of artificial intelligence research : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991 : proceedings International Workshop FAIR, Jorrand, Philippe, Kelemen, Jozef, 1951- Springer-Verlag
4 図書 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	10 図書 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
5 図書 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	11 図書 Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, … Workshop on Specification of Abstract Data Types, Ehrig, Hartmut, Orejas, Fernando, COMPASS Workshop Springer-Verlag
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 図書 Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings JELIA, Eijck, J. van (Jan) Springer-Verlag