Christop Benzmüller, Christoph Benzmüller, Miller, Miller, Bruce Miller - Intelligent Computer Mathematics 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings

Write the first review!

CHF 69.00

Christop Benzmüller, Christoph Benzmüller, Miller, Miller, Bruce Miller

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

English · Paperback / Softback

Shipping usually within 4 to 7 working days

Description

Read more

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.

Product details

Assisted by Christop Benzmüller (Editor), Christoph Benzmüller (Editor), Miller (Editor), Bruce Miller (Editor), Miller (Editor)
Publisher Springer, Berlin
 
Content Book
Product form Paperback / Softback
Publication date 01.10.2020
Subject Natural sciences, medicine, IT, technology > IT, data processing > IT
 
EAN 9783030535179
ISBN 978-3-0-3053517-9
Pages 337
Illustrations XI, 337 p. 445 illus., 54 illus. in color.
Dimensions (packing) 15.5 x 1.8 x 23.5 cm
Weight (packing) 534 g
 
Series Lecture Notes in Computer Science > 12236
Lecture Notes in Artificial Intelligence > 12236
Subjects 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
 

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.

For messages to CeDe.ch please use the contact form.

The input fields marked * are obligatory

By submitting this form you agree to our data privacy statement.