Intelligent computer mathematics 17th (5 résultats)
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 84,70
EUR 14,71 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponibles
Paperback. Etat : Brand New. 469 pages. 9.00x6.00x1.00 inches. In Stock.
- Couverture souple
Vendeur : Books From California, Simi Valley, CA, Etats-UnisBooks From California
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Assez bon
EUR 97,65
EUR 4,43 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
paperback. Etat : Very Good.
- Couverture souple
Vendeur : Buchpark, Trebbin, AllemagneBuchpark
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Très bon
EUR 30,98
EUR 105,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 471 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 119,10
EUR 35,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponibles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutesthe refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montréal, Québec, Canada, during August 5-9, 2024.The 21 full papers presented were carefully reviewed and selected from 28 submissions. These papers have been categorized into the following sections:AI and LLM;Proof Assistants;Logical Frameworks and Transformations;Knowledge Representation and Certification;Proof Search and Formalization & System Descriptions.…
- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 84,50
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponibles
Taschenbuch. Etat : Neu. Intelligent Computer Mathematics | 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings | Andrea Kohlhase (u. a.) | Taschenbuch | xvii | Englisch | 2024 | Springer | EAN 9783031669965 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
