LTG
Logic and Theory Group
Home
Contact
Staff
Publications
Lectures
Research Projects
Student Projects
Links
Home
Dr. Dieter Probst
Position
Research assistant
Office
109
Phone
+41 (0)31 511 76 07
Mail
probst@iam.unibe.ch
Publications
List of publications
Upcoming events
End Spring Semester 2012
(11 days)
Explicit Paradigms in Logic and Computer Science
(14 days)
more
Search
Search this site: