Santos, Vanda
Loading...
2
0
20
0
false
Name
Santos, Vanda
Loading...
3
0
20
0
false
Publications
(All)
Fulltext
Results 1-2 of 2 (Search time: 0.001 seconds).
| Issue Date | Title | Author(s) | Type | Access | |
|---|---|---|---|---|---|
| 1 | 5-Mar-2018 | Exchange of Geometric Information Between Applications | Quaresma, Pedro ; Santos, Vanda ; Baeta, Nuno | article | openAccess |
| 2 | 10-Mar-2023 | A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools | Teles, Joana ; Santos, Vanda ; Quaresma, Pedro | article | openAccess |