Vai al contenuto principale della pagina

Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / / edited by Christoph Benzmüller, Bruce Miller



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / / edited by Christoph Benzmüller, Bruce Miller Visualizza cluster
Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Edizione: 1st ed. 2020.
Descrizione fisica: 1 online resource (XI, 337 p. 445 illus., 54 illus. in color.)
Disciplina: 004.0151
006.30151
Soggetto topico: Artificial intelligence
Computers
Application software
Software engineering
Artificial Intelligence
Theory of Computation
Information Systems and Communication Service
Computer Applications
Software Engineering/Programming and Operating Systems
Computing Milieux
Persona (resp. second.): BenzmüllerChristoph
MillerBruce
Nota di contenuto: Invited Talks -- Full Papers -- System Descriptions and Datasets -- Abstracts of Invited Talks.
Sommario/riassunto: 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.
Titolo autorizzato: Intelligent Computer Mathematics  Visualizza cluster
ISBN: 3-030-53518-5
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910413439303321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Lecture Notes in Artificial Intelligence ; ; 12236
Intelligent Computer Mathematics [[electronic resource] ] : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / / edited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef
Intelligent Computer Mathematics [[electronic resource] ] : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / / edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
Mathematical aspects of artificial intelligence : American Mathematical Society short course, January 8-9, 1996, Orlando, Florida / Frederick Hoffman, editor
Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / / edited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef
Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / / edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge