Author:
Hundeshagen Norbert,Lange Martin
Publisher
Springer International Publishing
Reference16 articles.
1. Lecture Notes in Computer Science;JR Andersen,2015
2. Lecture Notes in Computer Science;L D’Antoni,2020
3. Desel, J., et al.: Empfehlungen für Bachelor- und Masterprogramme im Studienfach Informatik an Hochschulen. GI-Empfehlungen (2016)
4. Undergraduate Texts in Mathematics;HD Ebbinghaus,1994
5. Ehle, A., Hundeshagen, N., Lange, M.: The sequent calculus trainer with automated reasoning - helping students to find proofs. In: Proceedings of 6th International Workshop on Theorem Proving Components for Educational Software, ThEdu 2017. EPTCS, vol. 267, pp. 19–37 (2017)