Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic

Gaetano Geck, Artur Ljulin, Sebastian Peter +3

Logic is a foundation for many modern areas of computer science. In artificial intelligence, as a basis of database query languages, as well as in formal software and hardware veri…