Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth: 5393 (Lecture Notes in Computer Science)
by Jacques Calmet,Willi Geiselmann,Jörn Müller-Quade
ISBN 13: 9783540899938
Format: Paperback (208 pages) Publisher: Springer Berlin Heidelberg Published: 09 Dec 2008
Save for later
Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2, Cambridge, United Kingdom, August ... 958 (Lecture Notes in Computer Science)
by John A. Campbell,Jacques Calmet
ISBN 13: 9783540601562
Format: Paperback (292 pages) Publisher: Springer Published: 10 Aug 1995
Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings: 8884 (Lecture Notes in Computer Science)
by Gonzalo A. Aranda-Corral,Jacques Calmet,Francisco J. Martín-Mateos
ISBN 13: 9783319137698
Format: Paperback (216 pages) Publisher: Springer Published: 20 Nov 2014
Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings: 11110 (Lecture Notes in Computer Science)
by Jacques Fleuriot,Dongming Wang,Jacques Calmet
ISBN 13: 9783319999562
Format: Paperback (280 pages) Publisher: Springer Published: 22 Aug 2018
Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings: 737 (Lecture Notes in Computer Science)
ISBN 13: 9783540573227
Format: Paperback (324 pages) Publisher: Springer Published: 13 Jun 2008
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings: 1476 (Lecture Notes in Computer Science)
by Jan Plaza,Jacques Calmet
ISBN 13: 9783540649601
Format: Paperback (328 pages) Publisher: Springer Published: 13 Jun 2008