Author:
Broda K.,Ma J.,Sinnadurai G.,Summers A.
Publisher
Oxford University Press (OUP)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. EvoLogic: Toward an ITS for Teaching Propositional Logic;International Journal of Artificial Intelligence in Education;2022-01-09
2. Learning about Proof with the Theorem Prover LEAN: the Abundant Numbers Task;International Journal of Research in Undergraduate Mathematics Education;2021-07-07
3. Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App;Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education;2020-06-02
4. Towards Intuitive Reasoning in Axiomatic Geometry;Electronic Proceedings in Theoretical Computer Science;2019-04-01
5. Natural Deduction and the Isabelle Proof Assistant;Electronic Proceedings in Theoretical Computer Science;2018-03-02