Logische Programmierung SS 93

Vorlesung gehalten im Sommersemester 1993 von Prof. Gert Smolka, Universität des Saarlandes, FB 14

Material

Hauptstudium; praktische Informatik mit theoretischen Grundlagen; Vertiefungsvorlesung im Bereich Programmiersprachen und Logik.

Vordiplom; etwas Logik und/oder Semantik ist hilfreich.

Zurück zu "Unterlagen..."