Browsing by Author Santos, Vanda
Results 4 to 4 of 4
previous
Issue Date | Title | Author(s) | Type | Access |
---|---|---|---|---|
10-Mar-2023 | A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools | Teles, Joana ; Santos, Vanda ; Quaresma, Pedro | article | openAccess |