|
1.
|
Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings / Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.). by AISC (Conference) (8th : 2006 : Beijing, China) | Calmet, Jacques | Ida, Tetsuo | Wang, Dongming, 1961-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2006Other title: AISC 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
2.
|
|
|
3.
|
|
|
4.
|
Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96 Karlsruhe, Germany, September 18-20, 1996 Proceedings / edited by Jacques Calmet, Carla Limongelli. by International Symposium DISCO '96 (1996 : Karlsruhe, Germany) | Calmet, Jacques | Limongelli, Carla. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer-Verlag, 1996Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
5.
|
Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3-5, 1994, Selected papers / edited by Jacques Calmet, John A. Campbell. by AISMC (Conference) (2nd : 1994 : Cambridge, England) | Calmet, Jacques | Campbell, J. A, 1940-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer-Verlag, ©1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
6.
|
Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3 Steyr, Austria, September 23-25, 1996 Proceedings / edited by Jacques Calmet, John A. Campbell, Jochen Pfalzgraf. by Calmet, Jacques | Campbell, John A | Pfalzgraf, Jochen. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer-Verlag, 1996Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
7.
|
Artificial intelligence and symbolic computation : 12th international conference, AISC 2014, Seville, Spain, September 11-13, 2014 : proceedings / Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martin-Mateos (eds.). by AISC (Conference) (12th : 2014 : Seville, Spain) | Aranda-Corral, Gonzalo A [editor.] | Calmet, Jacques [editor.] | Martín-Mateos, Francisco, J [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham ; New York : Springer, [2014]Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|