>> Amazon.co.jp
このページのQRコード

Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC-1 Karlsruhe, Germany, August 3–6, 1992 Proceedings

種類:
電子ブック
責任表示:
edited by Jacques Calmet, John A. Campbell
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1993
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 737
ISBN:
9783540480631 [3540480633]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/3-540-57322-4
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック 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
7 電子ブック Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96 Karlsruhe, Germany, September 18–20, 1996 Proceedings

Calmet, Jacques, Limongelli, Carla, SpringerLink (Online service)

Springer-Verlag
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

International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940-, Pfalzgraf, Jochen

Springer
3 電子ブック 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
9 図書 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
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 電子ブック Rewriting Techniques and Applications : 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings

Hsiang, Jieh, SpringerLink (Online service)

Springer-Verlag
5 電子ブック 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
11 電子ブック GWAI-92: Advances in Artificial Intelligence : 16th German Conference on Artificial Intelligence Bonn, Germany, August 31 – September 3, 1992 Proceedings

Jürgen Ohlbach, Hans, SpringerLink (Online service)

Springer-Verlag
6 電子ブック 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
12 電子ブック MFDBS 91 : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems Rostock, Germany, May 6–9, 1991 Proceedings

Thalheim, Bernhard, Demetrovics, János, Gerhardt, H. -D, SpringerLink (Online service)

Springer-Verlag