Artificial intelligence and symbolic computation
: proceedings / International Conference AISC '98, Plattsburgh, New York, USA, September 1998. J. Calmet ... (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1476 : Lecture notes in artificial intelligence)
ISBN 978-3-540-49816-2
Lizenzpflichtig
Quelle: DNB
Artificial intelligence and symbolic mathematical computation
: international conference ; proceedings / AISMC-3, Steyr, Austria, September 23 - 25, 1996. Jacques Calmet ... (ed.). - Berlin : Springer, 1996. - VIII, 379 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1138)
ISBN 978-3-540-61732-7 / 3-540-61732-9 kart. : DM 78.00
Literaturangaben
Quelle: DNB
Artificial intelligence, automated reasoning, and symbolic computation
: joint international conferences ; proceedings / AISC 2002 ..., Marseille, France, July 1 - 5, 2002. J. Calmet ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2385 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45470-0
Lizenzpflichtig
Quelle: DNB
Design and implementation of symbolic computation systems
: international symposium ; proceedings / DISCO '96, Karlsruhe, Germany, September 18 - 20, 1996. Jacques Calmet ; Carla Limongelli (ed.). - Berlin : Springer, 1996. - IX, 356 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1128)
ISBN 978-3-540-61697-9 / 3-540-61697-7 kart. : DM 78.00
Literaturangaben
Quelle: DNB
Integrating symbolic mathematical computation and artificial intelligence
: selected papers ; second international conference / AISMC-2, Cambridge, United Kingdom, August 3 - 5, 1994. Jaques Calmet ; John A. Campbell (ed.). - Berlin : Springer, 1995. - X, 275 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 958)
ISBN 978-3-540-60156-2 / 3-540-60156-2 kart. : DM 62.00
Literaturangaben
Quelle: DNB
Mathematical methods in computer science
: essays in memory of Thomas Beth / Jacques Calmet ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5393)
ISBN 978-3-540-89994-5
Lizenzpflichtig
Quelle: DNB
