Articles liés à Intelligent Computer Mathematics: 13th International...
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Intelligent Computer Mathematics: 13th International...
Image d'archives
Intelligent Computer Mathematics (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 879812333edf223d7ff376cbe11b30dc
Acheter neuf
EUR 46,22
Expédition à EUR 6,80
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783030535179
Acheter neuf
EUR 58,05
Expédition à EUR 18,27
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Intelligent Computer Mathematics
Edité par
Springer International Publishing Jul 2020, 2020
ISBN 10 : 3030535177
ISBN 13 : 9783030535179
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783030535179
Acheter neuf
EUR 53,49
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Intelligent Computer Mathematics : 13th International Conference, Cicm 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 41611175-n
Acheter neuf
EUR 76,08
Expédition à EUR 2,35
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
Intelligent Computer Mathematics : 13th
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur V9783030535179
Acheter neuf
EUR 69,23
Expédition à EUR 9,50
Expédition depuis Irlande vers Etats-Unis
Expédition depuis Irlande vers Etats-Unis
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Intelligent Computer Mathematics : 13th International Conference, Cicm 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
Edité par
Springer, 2020
ISBN 10 : 3030535177
ISBN 13 : 9783030535179
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 41611175
Acheter D'occasion
EUR 78,26
Expédition à EUR 2,35
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings (Lecture Notes in Computer Science, 12236)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In English. N° de réf. du vendeur ria9783030535179_new
Acheter neuf
EUR 67,99
Expédition à EUR 13,32
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26?31, 2020, Proceedings (Lecture Notes in Computer Science)
Vendeur : Books Puddle, Woodside, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 322. N° de réf. du vendeur 26378040247
Acheter neuf
EUR 86,46
Expédition à EUR 3,56
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26?31, 2020, Proceedings (Lecture Notes in Computer Science)
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 322. N° de réf. du vendeur 385863784
Acheter neuf
EUR 86,70
Expédition à EUR 7,67
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26?31, 2020, Proceedings (Lecture Notes in Computer Science)
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 322. N° de réf. du vendeur 18378040253
Acheter neuf
EUR 85,61
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)