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

Bibliographische Detailangaben

Veröffentlicht in:	ACM Conference on Innovation and Technology in Computer Science Education (24. : 2019 : Aberdeen) ITiCSE '19
1. Verfasser:	Geck, Gaetano (VerfasserIn)
Weitere Verfasser:	Ljulin, Artur (VerfasserIn), Haldimann, Jonas (VerfasserIn), May, Johannes (VerfasserIn), Schmidt, Jonas (VerfasserIn), Schmellenkamp, Marko (VerfasserIn), Sonnabend, Daniel (VerfasserIn), Tschirbs, Felix (VerfasserIn), Vehlken, Fabian (VerfasserIn), Zeume, Thomas (VerfasserIn)
Pages:	19
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2019
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!