![](/img/cover-not-exists.png)
[ACM Press the 23rd Annual ACM Conference - Larnaca, Cyprus (2018.07.02-2018.07.04)] Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education - ITiCSE 2018 - Introduction to Iltis: an interactive, web-based system for teaching logic
Geck, Gaetano, Ljulin, Artur, Peter, Sebastian, Schmidt, Jonas, Vehlken, Fabian, Zeume, ThomasYear:
2018
Language:
english
DOI:
10.1145/3197091.3197095
File:
PDF, 1.06 MB
english, 2018