[ Lehrveranstaltungen 185/2 ]     [ AG Theoretische Informatik und Logik ]     [ Fakultät für Informatik ]     [ Technische Universität Wien ]

12.0/8.0 PR, Project in Computational Logic (185.302)

Lecturers: Alexander Leitsch, Bernhard Gramlich

Description of the course in TISS: Here.

The project is an obligatory part of the International Master Study Computational Logic.

Contents / Possible Projects:

Contact / Registration


Last modified: Wed Mar 2 11:23:51 CET 2011
Valid HTML 4.01! Viewable With Any Browser A.Leitsch, B.Gramlich