Experiments with Automated Reasoning in the Class

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

Cham : Springer (2022)
Buchbeitrag, Beitrag zu einem Tagungsband

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