Items related to Intelligent Computer Mathematics: 13th International...
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings (Lecture Notes in Artificial Intelligence) - Softcover
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.
"synopsis" may belong to another edition of this title.
Search results for Intelligent Computer Mathematics: 13th International...
Stock Image
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings (Lecture Notes in Artificial Intelligence)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020021274
Quantity: Over 20 available
Stock Image
Intelligent Computer Mathematics (Paperback)
Published by
Springer Nature Switzerland AG, Cham, 2020
ISBN 10: 3030535177
ISBN 13: 9783030535179
New
Paperback
First Edition
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: 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. Seller Inventory # 9783030535179
Quantity: 1 available
Seller Image
Intelligent Computer Mathematics : 13th International Conference, Cicm 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 41611175-n
Quantity: 15 available
Stock Image
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings (Lecture Notes in Artificial Intelligence)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030535179_new
Quantity: Over 20 available
Seller Image
Intelligent Computer Mathematics : 13th International Conference, Cicm 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 41611175
Quantity: 15 available
Stock Image
Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783030535179
Quantity: 10 available
Seller Image
Intelligent Computer Mathematics
Published by
Springer International Publishing Jul 2020, 2020
ISBN 10: 3030535177
ISBN 13: 9783030535179
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783030535179
Quantity: 2 available
Stock Image
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26?31, 2020, Proceedings (Lecture Notes in Computer Science)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 322. Seller Inventory # 26378040247
Quantity: 4 available
Stock Image
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26?31, 2020, Proceedings (Lecture Notes in Computer Science)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 322. Seller Inventory # 385863784
Quantity: 4 available
Stock Image
Intelligent Computer Mathematics : 13th
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # V9783030535179
Quantity: 15 available