- Tytuł:
- Opening a Discussion on Teaching Proof with Automated Theorem Provers
- Autorzy:
- Deskryptory:
-
Mathematics Instruction
Validity
Mathematical Logic
Teaching Methods
Computer Assisted Testing
Computer Software
Undergraduate Students - Źródło:
- For the Learning of Mathematics. 2021 41(3):42-46.
- Recenzowane naukowo:
- Y
- Page Count:
- 5
- Dostęp URL:
- https://flm-journal.org/index.php?do=show&lang=en&showMenu=41%2C3  Link otwiera się w nowym oknie
Czasopismo naukowe