Experiments with Automated Reasoning in the Class

Dramnesc, Isabela (Corresponding author); Ábrahám, Erika; Jebelean, Tudor; Kusper, Gábor; Stratulat, Sorin

Cham : Springer (2022)
Contribution to a book, Contribution to a conference proceedings

In: Intelligent Computer Mathematics : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings / edited by Kevin Buzzard, Temur Kutsia
Page(s)/Article-Nr.: 287-304