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

>> Amazon.co.jp

このページの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

著者名:

シリーズ名:

Lecture notes in computer science ; 737 <BA00009279>

ISBN:

9780387573229 [0387573224] (: us)

9783540573227 [3540573224] (: gw)

注記:

Includes bibliographical references

所蔵情報

子書誌情報

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

詳細

主題:	Artificial intelligence--Congresses; Logic, Symbolic and mathematical--Congresses
分類・件名:	LCC : Q334 DDC : 006.3 LCSH : Artificial intelligence -- Congresses LCSH : Logic, Symbolic and mathematical -- Congresses
LCCN:	93036465
TTLL:	eng
言語:	英語
形態:	305 p. : ill. ; 25 cm
書誌ID:	BA21101473

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC-1 Karlsruhe, Germany, August 3–6, 1992 Proceedings Calmet, Jacques, Campbell, John A., SpringerLink (Online service) Springer-Verlag	7 電子ブック Integrating Symbolic Mathematical Computation and Artificial Intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, … Calmet, Jacques., Campbell, John A., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
2 電子ブック Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings Calmet, Jacques., Campbell, John A., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	8 電子ブック Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings Calmet, Jaques., Campbell, John A., Pfalzgraf, Jochen., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
3 図書 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	9 図書 GWAI-92 : advances in artificial intelligence : 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31-September 3, 1992 : proceedings German Workshop on Artificial Intelligence, Ohlbach, Hans Jürgen Springer
4 図書 Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, … International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940- Springer-Verlag	10 図書 IJCAI-93 : proceedings of the Thirteenth International Joint Conference on Artificial Intelligence , Chambéry, France, August 28-September 3, 1993 International Joint Conference on Artificial Intelligence, Bajcsy, Ruzena Distributed by Morgan Kaufmann
5 電子ブック Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings Calmet, Jacques, Campbell, John A., Pfalzgraf, Jochen, SpringerLink (Online service) Springer-Verlag	11 図書 Proceedings of the Twelfth International Conference on Artificial Intelligence : IJCAI-91, Darling Harbour, Sydney, Australia, 24-30 August 1991 International Joint Conference on Artificial Intelligence, Mylopoulos, John, Reiter, Ray Distributed by Morgan Kaufmann
6 電子ブック Integrating Symbolic Mathematical Computation and Artificial Intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, … Calmet, Jacques, Campbell, John A., SpringerLink (Online service) Springer-Verlag	12 図書 IJCAI 87 : proceedings of the Tenth International Joint Conference on Artificial Intelligence : August 23-28, 1987 International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, … Morgan Kaufmann [distributor]