Intelligent Computer Mathematics 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings

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.

Détails du produit

• Collaboration: Christop Benzmüller (Editeur), Christoph Benzmüller (Editeur), Miller (Editeur), Bruce Miller (Editeur), Miller (Editeur)
• Edition: Springer, Berlin
• Contenu: Livre
• Forme du produit: Livre de poche
• Date de parution: 01.10.2020
• Catégorie: Sciences naturelles, médecine, it, technique > Informatique, ordinateurs > Informatique
• EAN: 9783030535179
• ISBN: 978-3-0-3053517-9
• Nombre de pages: 337
• Illustrations: XI, 337 p. 445 illus., 54 illus. in color.
• Dimensions (emballage): 15,5 x 1,8 x 23,5 cm
• Poids (emballage): 534 g
• Thème: Lecture Notes in Computer Science > 12236; Lecture Notes in Artificial Intelligence > 12236
• Catégories: Software Engineering, Education, Linguistics, angewandte informatik, Theoretische Informatik, Softwaredesign, Künstliche Intelligenz (KI), Databases, Semantics, libraries, Digital- und Informationstechnologien: allgemeine Themen, ArtificialIntelligence, computersystems, machinelearning, formallogic, Knowledge-basedsystem, formallanguages, theoremprovers