OPENING A DISCUSSION ON TEACHING PROOF WITH AUTOMATED THEOREM PROVERS
| Autor: | HANNA, GILA, YAN, XIAOHENG (KITTY) |
|---|---|
| Zdroj: | For the Learning of Mathematics, 2021 Nov 01. 41(3), 42-46. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
| Autor: | HANNA, GILA, YAN, XIAOHENG (KITTY) |
|---|---|
| Zdroj: | For the Learning of Mathematics, 2021 Nov 01. 41(3), 42-46. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|