Intelligent Computer Mathematics

15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings

AvKevin Buzzard,Temur Kutsia

Häftad, Engelska, 2022

Del 13467 i serien Lecture Notes in Computer Science

552 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

The 17 full papers, 1 project/ survey paper, 4 short papers, and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 37 submissions.

Produktinformation

Utgivningsdatum:2022-09-17
Mått:155 x 235 x 20 mm
Vikt:557 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:349
Förlag:Springer International Publishing AG
ISBN:9783031166808

Utforska kategorier

Artificiell intelligens inom Data och IT

Innehållsförteckning

Invited Talk.- Formalizations.- Digital Libraries and Mathematical Knowledge Management.- Theorem Proving and Expression Transformation.- Satisfiability, QBF, and SMT Solving.- Computer-Aided Teaching.- Datasets and system entries.