research
∙
03/10/2023
A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools
The introduction of automated deduction systems in secondary schools fac...
share
research
∙
02/08/2022
Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
The introduction of automated deduction systems in secondary schools fac...
research
∙
03/05/2018
