Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings

>> Google Books

所蔵情報QRコード

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

資料種別:

図書

出版情報:

Berlin ; Heidelberg ; New York : Springer-Verlag, c1993

形態:

305 p. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 737 <BA00009279>

著者名:

ISBN:

9780387573229 [0387573224] (: us)
9783540573227 [3540573224] (: gw)

書誌ID:

BA21101473

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Includes bibliographical references
主題:	Artificial intelligence--Congresses; Logic, Symbolic and mathematical--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 図書 Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, … (: gw) International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940- Springer-Verlag	7 電子ブック Integrating Symbolic Mathematical Computation and Artificial Intelligence International Conference AISMC-2, Calmet, Jacques, Campbell, J. A. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 図書 Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940-, Pfalzgraf, Jochen Springer	8 電子ブック Artificial Intelligence and Symbolic Mathematical Computation Calmet, Calmet, Jacques, Campbell, J. A., Pfalzgraf, Jochen SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
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 図書 GWAI-92 : advances in artificial intelligence : 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31-September 3, 1992 : proceedings (: gw ; : us) German Workshop on Artificial Intelligence, Ohlbach, Hans Jürgen Springer
4 図書 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	10 図書 PRICAI 2000 : topics in artificial intelligence : 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - … Pacific Rim International Conference on Artificial Intelligence, 溝口, 理一郎, Slaney, John K. Springer
5 図書 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	11 図書 Symbolic and quantitative approaches to reasoning with uncertainty : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : … European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Benferhat, Salem, 1966-, … Springer
6 図書 Artificial intelligence and symbolic computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings International Conference AISC, Buchberger, Bruno, Campbell, John A. Springer	12 電子ブック Artificial Intelligence and Symbolic Mathematical Computing Calmet SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12