Articoli correlati a Intelligent Computer Mathematics: 13th International...
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings: 12236 - Brossura
Sinossi
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.
The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics.
* The conference was held virtually due to the COVID-19 pandemic.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 52,28
EUR 3,40 per la spedizione in U.S.A.
Destinazione, tempi e costiRisultati della ricerca per Intelligent Computer Mathematics: 13th International...
Foto dell'editore
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings (Lecture Notes in Artificial Intelligence)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020021274
Quantitą: Pił di 20 disponibili
Foto dell'editore
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings (Lecture Notes in Artificial Intelligence)
Da: Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. SUPER FAST SHIPPING. Codice articolo 9783030535179
Quantitą: 2 disponibili
Foto dell'editore
Intelligent Computer Mathematics (Paperback)
Editore:
Springer Nature Switzerland AG, Cham, 2020
ISBN 10: 3030535177
ISBN 13: 9783030535179
Nuovo
Paperback
Prima edizione
Da: Grand Eagle Retail, Mason, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics. * The conference was held virtually due to the COVID-19 pandemic. This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783030535179
Quantitą: 1 disponibili
Foto dell'editore
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings (Lecture Notes in Artificial Intelligence)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783030535179_new
Quantitą: Pił di 20 disponibili
Immagini fornite dal venditore
Intelligent Computer Mathematics : 13th International Conference, Cicm 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 41611175-n
Quantitą: 15 disponibili
Foto dell'editore
Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783030535179
Quantitą: 10 disponibili
Immagini fornite dal venditore
Intelligent Computer Mathematics : 13th International Conference, Cicm 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 41611175
Quantitą: 15 disponibili
Immagini fornite dal venditore
Intelligent Computer Mathematics
Editore:
Springer International Publishing Jul 2020, 2020
ISBN 10: 3030535177
ISBN 13: 9783030535179
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 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020\*.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics. \* The conference was held virtually due to the COVID-19 pandemic. 352 pp. Englisch. Codice articolo 9783030535179
Quantitą: 2 disponibili
Foto dell'editore
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26?31, 2020, Proceedings (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 322. Codice articolo 26378040247
Quantitą: 4 disponibili
Foto dell'editore
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26?31, 2020, Proceedings (Lecture Notes in Computer Science)
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Print on Demand pp. 322. Codice articolo 385863784
Quantitą: 4 disponibili