Login / Signup
Daniel Sonnabend
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Language Skills
Web Based Teaching
Temporal Logic
Interactive Multimedia
Top Venues
ITiCSE
</>
Publications
</>
Gaetano Geck
,
Artur Ljulin
,
Jonas Haldimann
,
Johannes May
,
Jonas Schmidt
,
Marko Schmellenkamp
,
Daniel Sonnabend
,
Felix Tschirbs
,
Fabian Vehlken
,
Thomas Zeume
Teaching Logic with Iltis: an Interactive, Web-Based System.
ITiCSE
(2019)