Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings: 12833 (Lecture Notes in Computer Science, 12833) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Intelligent Computer Mathematics: 14th International...
Stock Image
Intelligent Computer Mathematics (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 11KQDWFJW8
Buy New
£ 40.79
£ 4.71 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, 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 # ria9783030810962_new
Buy New
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Intelligent Computer Mathematics : 14th International Conference, Cicm 2021, Timisoara, Romania, July 26?31, 2021, 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 # 43226973
Stock Image
Intelligent Computer Mathematics : 14th International Conference, Cicm 2021, Timisoara, Romania, July 26?31, 2021, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 43226973-n
Seller Image
Intelligent Computer Mathematics
Published by
Springer International Publishing Jul 2021, 2021
ISBN 10: 3030810968
ISBN 13: 9783030810962
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 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. Seller Inventory # 9783030810962
Stock Image
Intelligent Computer Mathematics : 14th
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # V9783030810962
Stock Image
Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26?31, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1st ed. 2021 edition NO-PA16APR2015-KAP. Seller Inventory # 26386993461
Stock Image
Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26?31, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 392606442
Buy New
£ 69.32
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Intelligent Computer Mathematics: 14th International Conference, Cicm 2021, Timisoara, Romania, July 2631, 2021, Proceedings
Published by
Springer-Nature New York Inc, 2021
ISBN 10: 3030810968
ISBN 13: 9783030810962
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 269 pages. 9.25x6.10x0.57 inches. In Stock. Seller Inventory # x-3030810968
Buy New
£ 65.93
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26?31, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18386993471