Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings - 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: 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 131,09
Spedizione EUR 14,46
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 (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 146,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 6-10, 2025, Proceedings (Lecture Notes in Artificial Intelligence)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783032070203
Compra nuovo
EUR 150,04
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 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: AussieBookSeller, Truganina, VIC, Australia
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. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Codice articolo 9783032070203
Compra nuovo
EUR 138,31
Spedizione EUR 32,28
Spedito da Australia a U.S.A.
Spedito da Australia a U.S.A.
Quantità: 1 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9783032070203
Compra nuovo
EUR 150,16
Spedizione EUR 42,81
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 | 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 123,00
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-Verlag Gmbh 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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 470 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
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
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. Codice articolo x-3032070201
Compra nuovo
EUR 197,11
Spedizione EUR 14,46
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili