Introduction to Iltis: an interactive, web-based system for teaching logic
Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt +2 more
2018Annual Conference on Innovation and Technology in Computer Science Education15 citations Open access
Semantic Scholar

