UID/CEC/00326/2020

View Statistics Email Alert RSS Feed

Primary Data

Project title
UID/CEC/00326/2020

Publications
(All)

Refined By:
Fulltext:  Com Texto completo
Author:  Quaresma, Pedro
Subject:  Computer Science - Computers and Society

Results 1-1 of 1 (Search time: 0.002 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