Zustand: New.
Paperback or Softback. Zustand: New. Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Pr. Book.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,52
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 56,43
Anzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 59,36
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2011
ISBN 10: 3642226728 ISBN 13: 9783642226724
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,04
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2011 edition. 312 pages. 9.00x6.00x0.75 inches. In Stock.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 118,03
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 108,59
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 312 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
EUR 61,14
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New. 2011th.
Zustand: As New. Unread book in perfect condition.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: 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. Zustand: 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.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2025
ISBN 10: 3032070201 ISBN 13: 9783032070203
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 129,83
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 493 pages. 9.25x6.10x1.06 inches. In Stock. This item is printed on demand.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 176,86
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND.