Jacques Calmet – författare

Visar alla böcker från författaren Jacques Calmet.

9 produkter

1. 

   Artificial Intelligence and Symbolic Computation

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

   Av Gonzalo A. Aranda-Corral, Jacques Calmet m. fl.

   Häftad, 2014

   709 kr

   Lägg i varukorg

2. 

   Artificial Intelligence and Symbolic Computation

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

   Av Jacques Fleuriot, Dongming Wang m. fl.

   Häftad, 2018

   739 kr

   Lägg i varukorg

3. 

   Artificial Intelligence, Automated Reasoning, and Symbolic Computation

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

   Av Jacques Calmet, Belaid Benhamou m. fl.

   Häftad, 2002

   739 kr

   Lägg i varukorg

4. 

   Artificial Intelligence and Symbolic Mathematical Computing

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

   Av Jacques Calmet, John A. Campbell

   Häftad, 1993

   739 kr

   Lägg i varukorg

5. 

   Integrating Symbolic Mathematical Computation and Artificial Intelligence

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

   Av Jacques Calmet, John A. Campbell

   Häftad, 1995

   739 kr

   Lägg i varukorg

6. 

   Design and Implementation of Symbolic Computation Systems

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

   Av Jacques Calmet, Carla Limongelli

   Häftad, 1996

   739 kr

   Lägg i varukorg

7. 

   Artificial Intelligence and Symbolic Computation

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

   Av Jacques Calmet, Jan Plaza

   Häftad, 1998

   739 kr

   Lägg i varukorg

8. 

   Mathematical Methods in Computer Science

   Essays in Memory of Thomas Beth

   Av Jacques Calmet, Willi Geiselmann m. fl.

   Häftad, 2008

   739 kr

   Lägg i varukorg

9. 

   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

   Av Serge Autexier, Jacques Calmet m. fl.

   Häftad, 2010

   719 kr

   Lägg i varukorg