16 results
Type of media (3)
Availability (2)
Language (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
16 results

Your search for Jacques Calmet

  1. Cover: Artificial Intelligence and Symbolic Computation - Springer
    Jacques Fleuriot | Dongming Wang | Jacques Calmet
    Artificial Intelligence and Symbolic Computation
    13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings
    08/2018
    Springer
    9783319999579 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Artificial Intelligence and Symbolic Computation - Springer
    Gonzalo A. Aranda-Corral | Jacques Calmet | Francisco J. Martín-Mateos
    Artificial Intelligence and Symbolic Computation
    12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
    12/2014
    Springer
    9783319137704 (ISBN)
    E-Book
    PDF
    Other editions
    €50.28
    Available for download
  3. Cover: Intelligent Computer Mathematics - Springer
    Serge Autexier | Jacques Calmet | David Delahaye
    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
    06/2010
    Springer
    9783642141287 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Intelligent Computer Mathematics - Springer
    Serge Autexier | Jacques Calmet | David Delahaye
    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
    06/2010
    Springer
    9783642141270 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  5. Cover: Mathematical Methods in Computer Science - Springer
    Jacques Calmet | Willi Geiselmann | Jörn Müller-Quade
    Mathematical Methods in Computer Science
    Essays in Memory of Thomas Beth
    12/2008
    Springer
    9783540899938 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  6. Cover: Artificial Intelligence and Symbolic Computation - Springer
    Jacques Fleuriot | Dongming Wang | Jacques Calmet
    Artificial Intelligence and Symbolic Computation
    13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings
    08/2018
    Springer
    9783319999562 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. This image is currently not available.
    Jacques Calmet | Werner M. Seiler | Robin W. Tucker
    Global integrability of field theories
    Proceedings of GIFT 2006, Cockcroft Institute, Daresbury (UK), November 1-3, 2006
    10/2006
    KIT Scientific Publishing
    9783866440357 (ISBN)
    Book
    Paperback/Softback
    €43.50
    Shipment within 7-9 days
  8. Cover: Artificial Intelligence and Symbolic Computation - Springer
    Gonzalo A. Aranda-Corral | Jacques Calmet | Francisco J. Martín-Mateos
    Artificial Intelligence and Symbolic Computation
    12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
    11/2014
    Springer
    9783319137698 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €51.36
    Shipment within 10-15 days
  9. Cover: Artificial Intelligence, Automated Reasoning, and Symbolic Computation - Springer
    Jacques Calmet | Belaid Benhamou | Olga Caprotti
    Artificial Intelligence, Automated Reasoning, and Symbolic Computation
    Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings
    06/2002
    Springer
    9783540438656 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  10. Cover: Artificial Intelligence and Symbolic Computation - Springer
    Jacques Calmet | Jan Plaza
    Artificial Intelligence and Symbolic Computation
    International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
    09/1998
    Springer
    9783540649601 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  11. Cover: Design and Implementation of Symbolic Computation Systems - Springer
    Jacques Calmet | Carla Limongelli
    Design and Implementation of Symbolic Computation Systems
    International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
    09/1996
    Springer
    9783540616979 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  12. Cover: Artificial Intelligence and Symbolic Mathematical Computing - Springer
    Jacques Calmet | John A. Campbell
    Artificial Intelligence and Symbolic Mathematical Computing
    International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
    10/1993
    Springer
    9783540573227 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  13. Cover: Integrating Symbolic Mathematical Computation and Artificial Intelligence - Springer
    Jacques Calmet | John A. Campbell
    Integrating Symbolic Mathematical Computation and Artificial Intelligence
    Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers
    08/1995
    Springer
    9783540601562 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  14. This image is currently not available.
    Artificial Intelligence and Symbolic Mathematical Computing
    International Conference Aismc-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
    11/1993
    Springer
    9780387573229 (ISBN)
    Book
    Paperback/Softback
    €46.87
    Article not available
  15. This image is currently not available.
    Karsten Homann
    Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme
    03/1997
    Akademische Verlagsgesellschaft AKA
    9783898381529 (ISBN)
    Book
    Paperback/Softback
    €25.00
    Article not available
  16. This image is currently not available.
    Karsten Homann
    Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme
    03/1997
    Hundt, E
    9783896011527 (ISBN)
    Other
    Undefined
    Unfortunately, price unknown
    Article not available