RISC Publications and Technical Reports of Wolfgang Windsteiger
2022
W. Windsteiger.Learning to Reason Assisted by Automated Reasoning. In: Intelligent Computer Mathematics: 15th International Conference, K. Buzzard and T. Kutsia (ed.), Proceedings of CICM 2022, Lecture Notes in Artificial Intelligence LNAI13467, pp. 305-320.2022.Springer,ISBN 978-3-031-16681-5.[doi][pdf][bib]
2021
W. Windsteiger.Automated Theorem Proving in the Classroom. In: Proceedings Automated Deduction in Geometry (ADG 2021), Predrag Janicic (ed.), Proceedings of Automated Deduction in Geometry (ADG 2021), Electronic Proceedings in Theoretical Computer Science (EPTCS)352, pp. 54-63.2021.ISSN 2075-2180.Extended abstract.[doi][pdf][bib]
W. Windsteiger.Automated Theorem Proving in the Classroom. Technical report no. 21-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2021.Extended version of keynote talk at ADG 2021 conference. Licensed under CC BY 4.0 International.[doi][pdf][bib]
2020
David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere.Computational Logic in the First Semester of Computer Science: An Experience Report. In: Proceedings of the 12th International Conference on Computer Supported Education - Volume 2: CSEDU, Springer (ed.), Proceedings of CSEDU, pp. 374-381.2020.978-989-758-417-6.[doi][bib]
David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere.Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. In: ITICSE 2020, ACM (ed.), Proceedings of ITICSE, pp. 61-67.2020.9781450368742.[doi][bib]
