Four Geometry Problems to Introduce Automated Deduction in Secondary Schools

In Proceedings ThEdu'21, arXiv:2202.02144

Detalhes bibliográficos
Autor principal: Quaresma, Pedro (author)
Outros Autores: Santos, Vanda (author)
Formato: article
Idioma:eng
Publicado em: 2022
Assuntos:
Computer Science - Artificial Intelligence; Computer Science - Artificial Intelligence; Computer Science - Computers and Society; I.2; K.3
Texto completo:http://hdl.handle.net/10316/103231
País:Portugal
Oai:oai:estudogeral.sib.uc.pt:10316/103231

Texto Completo

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

Registros relacionados