Cover Image
Read Now

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 tot...

Full description

Bibliographic Details
Other Authors: Benzmüller, Christoph (Editor), Miller, Bruce (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2020, 2020
Edition:1st ed. 2020
Series:Lecture Notes in Artificial Intelligence
Subjects:
Computer Communication Networks
Software Engineering
Computer Science
Artificial Intelligence
Computers
Application Software
Computer Networks 
Computer And Information Systems Applications
Theory Of Computation
Computing Milieux
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02159nmm a2200409 u 4500
001 EB001899455
003 EBX01000000000000001062364
005 00000000000000.0
007 cr|||||||||||||||||||||
008 200810 ||| eng
020 |a 9783030535186 
100 1 |a Benzmüller, Christoph  |e [editor] 
245 0 0 |a Intelligent Computer Mathematics  |h Elektronische Ressource  |b 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings  |c edited by Christoph Benzmüller, Bruce Miller 
250 |a 1st ed. 2020 
260 |a Cham  |b Springer International Publishing  |c 2020, 2020 
300 |a XI, 337 p. 445 illus., 54 illus. in color  |b online resource 
505 0 |a Invited Talks -- Full Papers -- System Descriptions and Datasets -- Abstracts of Invited Talks 
653 |a Computer Communication Networks 
653 |a Software engineering 
653 |a Computer science 
653 |a Software Engineering 
653 |a Artificial Intelligence 
653 |a Computers 
653 |a Application software 
653 |a Computer networks  
653 |a Artificial intelligence 
653 |a Computer and Information Systems Applications 
653 |a Theory of Computation 
653 |a Computing Milieux 
700 1 |a Miller, Bruce  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Lecture Notes in Artificial Intelligence 
028 5 0 |a 10.1007/978-3-030-53518-6 
856 4 0 |u https://doi.org/10.1007/978-3-030-53518-6?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 006.3 
520 |a 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 

Similar Items