Centre for Mathematics, University of Coimbra - Highlights

<Specific Information> <Reference List>
Type:	Journal Article
National /International:	International
Title:	A rule-based theorem prover: an introduction to proofs in secondary schools
Publication Date:	2023
Authors:	- Joana Teles - Vanda Santos - Pedro Quaresma
Journal Name:	Electronic Proceedings In Theoretical Computer Science
Volume:	375
Pages:	24-37
Download:	Not available