Login / Signup
Four Geometry Problems to Introduce Automated Deduction in Secondary Schools.
Pedro Quaresma
Vanda Santos
Published in:
CoRR (2022)
Keyphrases
</>
automated deduction
secondary school
artificial intelligence
hong kong
high level