DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Interpreted as:
title:(ProofJudge\: AND Automated AND Proof AND Judging AND Tool AND for AND Learning AND Mathematical AND Logic)
Suggestions: Include records that partially match the query
ProofJudge: Automated Proof Judging Tool for Learning Mathematical Logic
Exploring Teaching for Active Learning in Engineering Education (etalee 2015) — 2015, pp. 141-148
Year: 2015
Language: English
ProofJudge: Automated Proof Judging Tool for Learning Mathematical Logic
Proceedings of the Etalee 2015 Conference: Exploring Teaching for Active Learning in Engineering Education — 2016, pp. 39-44
Year: 2016
Language: English