Teaching Logic with Iltis: an Interactive, Web-Based System

von Geck, Gaetano
Veröffentlicht in ACM Conference on Innovation and Technology in Computer Science Education (24. : 2019 : Aberdeen) ITiCSE '19 (2019)