Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug. Teaching Syllogistics Through Gamification and Interactive Proofs. In Gráinne Conole, Tomaz Klobucar, Christoph Rensing, Johannes Konert, Élise Lavoué, editors, Design for Teaching and Learning in a Networked World - 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings. Volume 9307 of Lecture Notes in Computer Science, pages 609-612, Springer, 2015. [doi]
Abstract is missing.