Joana Teles

According to our database, Joana Teles authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools.

Joana Teles, Vanda Santos, Pedro Quaresma

Proceedings of the Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, 2022