Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings: 12833 - Brossura
Sinossi
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 "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Intelligent Computer Mathematics: 14th International...
Foto dell'editore
Intelligent Computer Mathematics (eng)
Print on DemandDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 3 su 5 stelle
Condizione: new. Questo è un articolo print on demand. Codice articolo 11KQDWFJW8
Compra nuovo
EUR 46,22
Spedizione EUR 5,50
Spedito da Italia a U.S.A.
Spedito da Italia a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Intelligent Computer Mathematics : 14th International Conference, Cicm 2021, Timisoara, Romania, July 26?31, 2021, 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 43226973
Compra usato
EUR 71,47
Spedizione EUR 2,30
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, 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 ria9783030810962_new
Compra nuovo
EUR 60,33
Spedizione EUR 13,81
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Intelligent Computer Mathematics
Editore:
Springer International Publishing Jul 2021, 2021
ISBN 10: 3030810968
ISBN 13: 9783030810962
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 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. 272 pp. Englisch. Codice articolo 9783030810962
Compra nuovo
EUR 53,49
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 : 14th International Conference, Cicm 2021, Timisoara, Romania, July 26?31, 2021, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 43226973-n
Compra nuovo
EUR 74,39
Spedizione EUR 2,30
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Intelligent Computer Mathematics : 14th
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo V9783030810962
Compra nuovo
EUR 68,52
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.
Spedito da Irlanda a U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26?31, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 1st ed. 2021 edition NO-PA16APR2015-KAP. Codice articolo 26386993461
Compra nuovo
EUR 80,20
Spedizione EUR 3,48
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26?31, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand. Codice articolo 392606442
Compra nuovo
EUR 79,39
Spedizione EUR 7,50
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26?31, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND. Codice articolo 18386993471
Compra nuovo
EUR 79,72
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: 14th International Conference, Cicm 2021, Timisoara, Romania, July 2631, 2021, Proceedings
Editore:
Springer-Nature New York Inc, 2021
ISBN 10: 3030810968
ISBN 13: 9783030810962
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 269 pages. 9.25x6.10x0.57 inches. In Stock. Codice articolo x-3030810968
Compra nuovo
EUR 79,04
Spedizione EUR 11,53
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili