Artur Ljulin

According to our database, Artur Ljulin authored at least 2 papers between 2018 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

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

Gaetano Geck, Artur Ljulin, Jonas Haldimann, Johannes May, Jonas Schmidt, Marko Schmellenkamp, Daniel Sonnabend, Felix Tschirbs, Fabian Vehlken, Thomas Zeume

Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019

2018

Introduction to Iltis: an interactive, web-based system for teaching logic.

Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken, Thomas Zeume

Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018