Pensum -10%
Intelligent Computer Mathematics
Claudio Sacerdoti Coen, Fairouz Kamareddine
PocketEngelsk
Del av serien Lecture Notes in Computer Science
Hopp til hovedinnholdet
Intelligent Computer Mathematics
Redigert av Catherine Dubois, Manfred Kerber, 2023.Del av serien Lecture Notes in Computer Science.
16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings
This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.
The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.
PocketEngelsk
Normalpris: 879,-
791,-
Spar 88,-
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
Intelligent Computer Mathematics
Redigert av Catherine Dubois, Manfred Kerber, 2023.Del av serien Lecture Notes in Computer Science.
16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings
This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.
The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.
Normalpris: 879,-
791,-
Spar 88,-
PocketEngelsk
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
791,-
Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.
