Titolo: Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6?10, 2025, Proceedings
Editore: Springer
Data di pubblicazione: 2025
Lingua: Inglese
ISBN 10: 3032070201
ISBN 13: 9783032070203
Rilegatura: Brossura
Condizione: New

Descrizione articolo

Riassunto

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 "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

We have 20 years experience selling books worldwide! Friendly customer support. Your satisfaction guaranteed!

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Miramar International Services LLC

Condizioni di vendita e spedizione

Condizioni di vendita

www.californiabooks.com

Diritto di recesso

Condizioni di spedizione

www.californiabooks.com

Tariffe di spedizione nazionale per U.S.A.

Tariffe di spedizione nazionale per U.S.A.
Quantit� dell?ordine	Da 3 a 7 giorni lavorativi	Da 2 a 5 giorni lavorativi
Primo articolo	EUR 0.00	EUR 10.34

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.