Sebastian Peter

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Artur Ljulin 1 shared papers
• Fabian Vehlken 1 shared papers
• Gaetano Geck 1 shared papers
• Jonas Schmidt 1 shared papers
• Thomas Zeume 1 shared papers