UID/CEC/00326/2020

Visualizar estatísticas Email de alerta RSS Feed

Primary Data

Project title
UID/CEC/00326/2020

Publications
(Todas)

Refinado por:
Texto completo:  Com Texto completo
Autor:  Quaresma, Pedro
Assunto:  Computer Science - Computers and Society

Resultados 1-1 de 1.

Data de publicaçãoTítuloAutor(es)TipoAcesso
110-Mar-2023A Rule Based Theorem Prover: an Introduction to Proofs in Secondary SchoolsTeles, Joana ; Santos, Vanda ; Quaresma, Pedro articleopenAccess