Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Aaronson, S.: Teaching statement (2007), http://www.scottaaronson.com/teaching.pdf
2. Lecture Notes in Computer Science;S. Berghofer,2009
3. Lecture Notes in Computer Science;S. Berghofer,2002
4. Lecture Notes in Computer Science;J.C. Blanchette,2011
5. Lecture Notes in Computer Science;D. Cachera,2010
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Waterproof: Educational Software for Learning How to Write Mathematical Proofs;Electronic Proceedings in Theoretical Computer Science;2024-04-06
2. A Coq Library of Sets for Teaching Denotational Semantics;Electronic Proceedings in Theoretical Computer Science;2024-04-06
3. The Significance of Symbolic Logic for Scientific Education;Lecture Notes in Computer Science;2024
4. ProofBuddy: A Proof Assistant for Learning and Monitoring;Electronic Proceedings in Theoretical Computer Science;2023-08-14
5. On Exams with the Isabelle Proof Assistant;Electronic Proceedings in Theoretical Computer Science;2023-03-10