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. ; 25 cm

著者名:

シリーズ名:

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

書誌ID:

BA10574892

ISBN:

9783540523376 [3540523375] (: gw)
9780387523378 [0387523375] (: us)

子書誌情報

所蔵情報

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

詳細

資料形態(詳細):	Text
主題:	Abstract data types (Computer science)--Congresses; Artificial intelligence--Congresses; Logic, Symbolic and mathematical--Congresses; Sorting (Electronic computers)--Congresses
LCCN:	90009872
注記:	Includes bibliographical references
登録日:	1990-09-03
分類・件名:	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

類似資料:

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 図書 Logics in artificial intelligence : European Workshop JELIA '94, York, UK, September 5-8, 1994 : proceedings JELIA, MacNish, Craig, Pearce, David A., 1952-, Pereira, Luís Moniz Springer-Verlag
2 図書 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	8 図書 Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers International Conference AISC, Campbell, John A., 1940-, Roanes-Lozano, Eugenio Springer
3 図書 Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conference AISC 2002 and Calculemus 2002, Marseille, France, July … International Conference AISC, Calculemus 2002, Calmet, Jacques, 1941-, Symposium on the Integration of Symbolic … Springer	9 図書 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
4 図書 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	10 図書 Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings JELIA, Eijck, J. van (Jan) Springer-Verlag
5 図書 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	11 図書 Advances in artificial intelligence : Third Congress of the Italian Association for Artificial Intelligence, AIIA '93, Torino, Italy, October 26-28, 1993 : …* Associazione italiana per l'intelligenza artificiale. Congress, Torasso, Pietro Springer-Verlag
6 図書 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	12 図書 Multi-agent rationality : 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'97, Ronneby, Sweden, May 13-16, 1997 : proceedings European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Boman, Magnus, Velde, Walter Van de Springer