Home | deutsch | Legals | Sitemap | KIT

Logic and Formal Methods

Staff
Research
Teaching
Theses
Publications
Contact

Formale Systeme (WS 06/07)

Formale Systeme (WS 06/07)

Type:	Vorlesung
Lecturer:	Prof. P. H. Schmitt Steffen Schlager
SWS:	3

KIT – University of the State of Baden-Wuerttemberg and National Research Center of the Helmholtz Association