Titolo: Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26?31, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
Editore: Springer
Data di pubblicazione: 2021
Lingua: Inglese
ISBN 10: 3030810968
ISBN 13: 9783030810962
Rilegatura: Brossura
Condizione: New

Descrizione articolo

Riassunto

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.

The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.

* The conference was held virtually due to the COVID-19 pandemic.

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.32

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.