A rule-based theorem prover: an introduction to proofs in secondary schools
     (Journal Article)
<Overall Information>
Journal Name: Electronic Proceedings In Theoretical Computer Science
Doi: 10.4204/EPTCS.375.3
Volume: 375
Pages: 24-37
Revision: No
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support