Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26?31, 2020, Proceedings (Lecture Notes in Computer Science)
Language: English
Published by Springer, 2020
- Softcover
- New
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
AbeBooks seller since January 19, 2007
Condition: New
US$ 95.17
Quantity: 4 available
Add to basketItem description from seller
Print on Demand pp. 322.
Seller Inventory # 385863784
- Title
- Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26?31, 2020, Proceedings (Lecture Notes in Computer Science)
- Publisher
- Springer
- Publication year
- 2020
- Condition
- New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3030535177
- ISBN 13
- 9783030535179
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.
Majestic Books
Hounslow, United Kingdom
AbeBooks seller since January 19, 2007
Shipping rates from United Kingdom to U.S.A.
| Item | 14 to 45 business days | 5 to 10 business days |
|---|---|---|
| First item | US$ 8.74 | US$ 13.24 |
Payment methods
Store description
We specialise in General Interest Books from South Asian countries.
Specialty
Art, Economics, Buddhism, Religion, Sociology, PaintingSeller's business information
BOOKS AND PERIODICALS AGENCY LTD
Unit 4 Alice way,
Hounslow, United Kingdom TW3 3UD
Terms of sale
Returns accepted if you are not satisfied with the Service or Book.
Shipping terms
Best packaging and fast delivery