E-mail Abstract
You are about to send the following abstract:
Dramnesc, I., Jebelean, T., Abraham, E., Kusper, G. & Stratulat, S. (2022). ARC: An Educational Project on Automated Reasoning in the Class. In T. Bastiaens (Ed.), Proceedings of EdMedia + Innovate Learning (pp. 934-943). Online: Association for the Advancement of Computing in Education (AACE).