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

AvGonzalo A. Aranda-Corral,Jacques Calmet m. fl.

Häftad, Engelska, 2014

689 kr

Skickas inom 10-15 vardagar

Artificial Intelligence and Symbolic Computation

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

AvJacques Fleuriot,Dongming Wang m. fl.

Häftad, Engelska, 2018

719 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

AvJacques 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

AvJacques 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

AvJacques 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

AvJacques Calmet,Carla Limongelli

Häftad, Engelska, 1996

719 kr

Skickas inom 10-15 vardagar

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

719 kr

Skickas inom 10-15 vardagar

Mathematical Methods in Computer Science

Essays in Memory of Thomas Beth

AvJacques Calmet,Willi Geiselmann m. fl.

Häftad, Engelska, 2008

719 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

AvSerge Autexier,Jacques Calmet m. fl.

Häftad, Engelska, 2010

699 kr

Skickas inom 10-15 vardagar