Intelligent Computer Mathematics 17th (5 results)
- Softcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 95.36
US$ 16.78 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 469 pages. 9.00x6.00x1.00 inches. In Stock.
- Softcover
Seller: Books From California, Simi Valley, CA, U.S.A.Books From California
Contact seller4-star sellerCondition: Used - Very good
US$ 106.70
US$ 4.99 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: Very Good.
- Softcover
Seller: Buchpark, Trebbin, , GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
US$ 37.05
US$ 121.91 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 471 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 100.93
US$ 81.27 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: 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.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 142.42
US$ 73.00 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: 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 se…lected 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.
