Automated Reasoning – Seminar

Wintersemester 2019/20


Lehrbeauftragte: Dr. Fabian Neuhaus, Martin Glauer
Sprache: deutsch
Wochenstunden: 4h
Credits: 5
Zuhörerkreis:
Voraussetzungen:
Prüfung/Schein: mündlich
Einschreibung: Informationen siehe unten.

Übungsaufgaben:

Aktuelle Informationen:



Zur Homepage der Forschungsgruppe Theoretische Informatik

Webmaster