Login / Signup
Artur Ljulin
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 3
Top Topics
Internet Technology
Classical Logic
Web Interface
Web Based Teaching
Top Venues
ITiCSE
CoRR
</>
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)
Gaetano Geck
,
Artur Ljulin
,
Sebastian Peter
,
Jonas Schmidt
,
Fabian Vehlken
,
Thomas Zeume
Introduction to Iltis: an interactive, web-based system for teaching logic.
ITiCSE
(2018)
Gaetano Geck
,
Artur Ljulin
,
Sebastian Peter
,
Jonas Schmidt
,
Fabian Vehlken
,
Thomas Zeume
Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic.
CoRR
(2018)