UID/CEC/00326/2020

View Statistics Email Alert RSS Feed

Primary Data

Project title
UID/CEC/00326/2020

Publications
(All)

Refined By:
Date Issued:  [2020 TO 2023]
Author:  Quaresma, Pedro
Subject:  Computer Science - Logic in Computer Science

Results 1-1 of 1 (Search time: 0.001 seconds).

Issue DateTitleAuthor(s)TypeAccess
110-Mar-2023A Rule Based Theorem Prover: an Introduction to Proofs in Secondary SchoolsTeles, Joana ; Santos, Vanda ; Quaresma, Pedro articleopenAccess