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