TUD Logo

TUD Home » ... » Chair of Algebraic and Logical Foundations of Computer Science » Teaching » Winter Term 2008/09

Chair of Algebraic and Logical Foundations of Computer Science

against racism

Lectures Winter Term 2008/09

english Interactive Theorem Proving

Dr. Posegga

SWS: 4/1/1

english Logic Programming Engineering

Dr. Nauber

SWS: -/-/2

english Design and Analysis with Petri-Nets

Dr. Nauber

SWS: 2/-/1

deutsch Prolog Programmierung (Lehramt)

Dr. Nauber

SWS: 1/-/1

Other Courses Winter Term 2008/09

english Project Group Modelchecking

Prof. Dr. Baier

SWS: -/-/4

deutsch Komplexpraktikum Modelchecking

Prof. Dr. Baier

SWS: -/-/4

Last modified: 1st Feb 2010, 2.26 PM
Author: Dipl.-Inform. Tobias Blechmann