Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings
Details
| Verlag | Springer International Publishing |
| Ersterscheinung | 18. Juli 2020 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 534 Gramm |
| Format | Softcover |
| ISBN-13 | 9783030535179 |
| Auflage | 1st ed. 2020 |
| Seiten | 337 |
Schlagwörter
Angewandte Informatik, Artificial Intelligence, Computer and Information Systems Applications, Computer Communication Networks, Computing Milieux, Informationstechnik (IT) - allgemeine Themen, Künstliche Intelligenz, Netzwerk-Hardware, Software Engineering, Theoretische Informatik, Theory of Computation
Herstellerinformationen
Bekannt durch
