Browsing by Subject K.3
Results 1 to 1 of 1
| 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 |