Condizione: New.
Paperback or Softback. Condizione: New. Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Pr. Book.
Da: California Books, Miami, FL, U.S.A.
EUR 61,10
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 59,12
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 56,98
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 59,10
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2011
ISBN 10: 3642226728 ISBN 13: 9783642226724
Da: Revaluation Books, Exeter, Regno Unito
EUR 79,82
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2011 edition. 312 pages. 9.00x6.00x0.75 inches. In Stock.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 119,17
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 109,65
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Condizione: As New. Unread book in perfect condition.
Da: Buchpark, Trebbin, Germania
EUR 38,50
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Seiten: 312 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Da: California Books, Miami, FL, U.S.A.
EUR 150,04
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: preigu, Osnabrück, Germania
EUR 123,00
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 139,09
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2025
ISBN 10: 3032070201 ISBN 13: 9783032070203
Da: Revaluation Books, Exeter, Regno Unito
EUR 197,11
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 493 pages. 9.25x6.10x1.06 inches. In Stock.
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2025
ISBN 10: 3032070201 ISBN 13: 9783032070203
Da: Revaluation Books, Exeter, Regno Unito
EUR 131,09
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 493 pages. 9.25x6.10x1.06 inches. In Stock. This item is printed on demand.