<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 |