Hoppa till sidans huvudinnehåll

Jacques Calmet – författare

Visar alla böcker från författaren .
9 produkter
Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martín-Mateos - Artificial Intelligence and Symbolic Computation, Häftad
Del 8884 - Lecture Notes in Computer Science

Artificial Intelligence and Symbolic Computation

12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

AvGonzalo A. Aranda-Corral,Jacques Calmetm. fl.

Häftad, Engelska, 2014

699 kr

Skickas inom 10-15 vardagar

Jacques Fleuriot, Dongming Wang, Jacques Calmet - Artificial Intelligence and Symbolic Computation, Häftad
Del 11110 - Lecture Notes in Computer Science

Artificial Intelligence and Symbolic Computation

13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings

AvJacques Fleuriot,Dongming Wangm. fl.

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge - Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Häftad

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings

AvJacques Calmet,Belaid Benhamoum. fl.

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar

Jacques Calmet, John A. Campbell - Artificial Intelligence and Symbolic Mathematical Computing, Häftad

Artificial Intelligence and Symbolic Mathematical Computing

International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings

AvJacques Calmet,John A. Campbell

Häftad, Engelska, 1993

729 kr

Skickas inom 10-15 vardagar

Jacques Calmet, John A. Campbell - Integrating Symbolic Mathematical Computation and Artificial Intelligence, Häftad

Integrating Symbolic Mathematical Computation and Artificial Intelligence

Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers

AvJacques Calmet,John A. Campbell

Häftad, Engelska, 1995

729 kr

Skickas inom 10-15 vardagar

Jacques Calmet, Carla Limongelli - Design and Implementation of Symbolic Computation Systems, Häftad

Design and Implementation of Symbolic Computation Systems

International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings

AvJacques Calmet,Carla Limongelli

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar

Jacques Calmet, Jan Plaza - Artificial Intelligence and Symbolic Computation, Häftad

Artificial Intelligence and Symbolic Computation

International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings

AvJacques Calmet,Jan Plaza

Häftad, Engelska, 1998

729 kr

Skickas inom 10-15 vardagar

Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade - Mathematical Methods in Computer Science, Häftad

Mathematical Methods in Computer Science

Essays in Memory of Thomas Beth

AvJacques Calmet,Willi Geiselmannm. fl.

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan Sexton - Intelligent Computer Mathematics, Häftad

Intelligent Computer Mathematics

10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

AvSerge Autexier,Jacques Calmetm. fl.

Häftad, Engelska, 2010

709 kr

Skickas inom 10-15 vardagar