Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings: 16136 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Intelligent Computer Mathematics: 18th International...
Foto dell'editore
Intelligent Computer Mathematics (Paperback)
Editore:
Springer Nature Switzerland AG, Cham, 2025
ISBN 10: 3032070201
ISBN 13: 9783032070203
Nuovo
Paperback
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 611, 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783032070203
Compra nuovo
EUR 144,09
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Intelligent Computer Mathematics: 18th International Conference, Cicm 2025, Brasilia, Brazil, October 611, 2025, Proceedings
Editore:
Springer-Nature New York Inc, 2025
ISBN 10: 3032070201
ISBN 13: 9783032070203
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 493 pages. 9.25x6.10x1.06 inches. In Stock. This item is printed on demand. Codice articolo __3032070201
Compra nuovo
EUR 129,90
Spedizione EUR 14,33
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Intelligent Computer Mathematics
Editore:
Springer-Verlag Gmbh Okt 2025, 2025
ISBN 10: 3032070201
ISBN 13: 9783032070203
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 470 pp. Englisch. Codice articolo 9783032070203
Compra nuovo
EUR 139,09
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Intelligent Computer Mathematics (Paperback)
Editore:
Springer Nature Switzerland AG, Cham, 2025
ISBN 10: 3032070201
ISBN 13: 9783032070203
Nuovo
Paperback
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 611, 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9783032070203
Compra nuovo
EUR 122,22
Spedizione EUR 42,43
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6?11, 2025, Proceedings (Lecture Notes in Computer Science, 16136)
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND. Codice articolo 18404736824
Compra nuovo
EUR 179,30
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6?11, 2025, Proceedings (Lecture Notes in Computer Science, 16136)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 26404736818
Compra nuovo
EUR 186,95
Spedizione EUR 3,43
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Intelligent Computer Mathematics | 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. 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. Codice articolo 134095807
Compra nuovo
EUR 122,10
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Immagini fornite dal venditore
Intelligent Computer Mathematics
Editore:
Springer, Springer International Publishing Okt 2025, 2025
ISBN 10: 3032070201
ISBN 13: 9783032070203
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 611, 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 496 pp. Englisch. Codice articolo 9783032070203
Compra nuovo
EUR 139,09
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6?11, 2025, Proceedings (Lecture Notes in Computer Science, 16136)
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand. Codice articolo 409498861
Compra nuovo
EUR 192,62
Spedizione EUR 7,45
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Intelligent Computer Mathematics : 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. 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. Codice articolo 9783032070203
Compra nuovo
EUR 139,09
Spedizione EUR 63,72
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili