Artur Ljulin

Identifiers

No identifiers captured yet.

Papers (1)

1. Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic cs.CY · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Fabian Vehlken 1 shared papers
• Gaetano Geck 1 shared papers
• Jonas Schmidt 1 shared papers
• Sebastian Peter 1 shared papers
• Thomas Zeume 1 shared papers