Four Geometry Problems to Introduce Automated Deduction in Secondary Schools

In Proceedings ThEdu'21, arXiv:2202.02144

Bibliographic Details
Main Author: Quaresma, Pedro (author)
Other Authors: Santos, Vanda (author)
Format: article
Language:eng
Published: 2022
Subjects:
Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Computers and Society; I.2; K.3
Online Access:http://hdl.handle.net/10316/103231
Country:Portugal
Oai:oai:estudogeral.sib.uc.pt:10316/103231

Internet

http://hdl.handle.net/10316/103231

Similar Items