Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2011
ISBN 10: 3642226728 ISBN 13: 9783642226724
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,20
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2011 edition. 312 pages. 9.00x6.00x0.75 inches. In Stock.
Anbieter: Buchpark, Trebbin, Deutschland
EUR 38,50
Anzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 312 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
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 195,58
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 493 pages. 9.25x6.10x1.06 inches. In Stock.