Hoppa till sidans huvudinnehåll

Jacques Calmet - Böcker

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

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, Engelska, 2014

699 kr

Skickas inom 10-15 vardagar

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, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2002

699 kr

Skickas inom 10-15 vardagar

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, Engelska, 1993

699 kr

Skickas inom 10-15 vardagar

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, Engelska, 1995

699 kr

Skickas inom 10-15 vardagar

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, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 1998

729 kr

Skickas inom 10-15 vardagar

Mathematical Methods in Computer Science

Essays in Memory of Thomas Beth

Av Jacques Calmet, Willi Geiselmann m. fl

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2010

699 kr

Skickas inom 10-15 vardagar