Condition: New.
Paperback or Softback. Condition: New. Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Pr. Book.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 69.76
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.14
Quantity: 10 available
Add to basketPaperback. Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 69.58
Quantity: Over 20 available
Add to basketCondition: New.
Language: English
Published by Springer-Verlag New York Inc, 2011
ISBN 10: 3642226728 ISBN 13: 9783642226724
Seller: Revaluation Books, Exeter, United Kingdom
US$ 92.64
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 2011 edition. 312 pages. 9.00x6.00x0.75 inches. In Stock.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 138.33
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 127.28
Quantity: 1 available
Add to basketPaperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Language: English
Published by Springer-Verlag GmbH, 2012
ISBN 10: 3642226728 ISBN 13: 9783642226724
Seller: Buchpark, Trebbin, Germany
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 312 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Seller: Rarewaves.com UK, London, United Kingdom
US$ 71.66
Quantity: Over 20 available
Add to basketPaperback. Condition: New. 2011th.
Condition: As New. Unread book in perfect condition.
Condition: New.
Taschenbuch. Condition: Neu. Intelligent Computer Mathematics | 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings | Valeria De Paiva (u. a.) | Taschenbuch | xxiii | Englisch | 2025 | Springer | EAN 9783032070203 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 6 11, 2025.The 24 full papers were presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in the following topical sections as follows : Automated Reasoning; Formal Libraries; Logical and Linguistic Foundations; Mathematical Knowledge Management; Neural Language Models; and Proof Assistants and Formalizations.
Language: English
Published by Springer-Nature New York Inc, 2025
ISBN 10: 3032070201 ISBN 13: 9783032070203
Seller: Revaluation Books, Exeter, United Kingdom
US$ 152.17
Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 493 pages. 9.25x6.10x1.06 inches. In Stock. This item is printed on demand.
Seller: Majestic Books, Hounslow, United Kingdom
US$ 199.42
Quantity: 4 available
Add to basketCondition: New. Print on Demand.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND.