TUD
English
TUD Startseite
»
...
»
Computational Logic
»
Lehre
»
SS 2011
Computational Logic
Startseite
Mitarbeiter
Lehre
Lehre
WS 2011/12
SS 2011
Deduction Systems
Selected Topics in Proof Theory (externer Link)
Structural Proof Theory and Abstract Logic Programming (externer Link)
WS 2010/11
SS 2010
WS 2009/10
SS 2009
WS 2008/09
SS 2008
Lehrangebot im Sommersemester 2011
Veranstaltung
Lehrbeauftragter
SWS (V/Ü/S)
Deduction Systems
Dr. Bruscoli
1/1/0
Selected Topics in Proof Theory (externer Link)
Dr. Bruscoli
0/2/0
Structural Proof Theory and Abstract Logic Programming (externer Link)
Dr. Bruscoli
2/2/0
Stand: 5.4.2011, 16:20 Uhr
Autor:
Dipl.-Inf. Sebastian Haufe
Drucken
