TUD
Deutsch
TUD Home
»
...
»
Computational Logic
»
Teaching
»
Summer Term 2011
Computational Logic
Home
Staff
Teaching
Teaching
Winter Term 2011/12
Summer Term 2011
Deduction Systems
Selected Topics in Proof Theory (external link)
Structural Proof Theory and Abstract Logic Programming (external link)
Winter Term 2010/11
Summer Term 2010
Winter Term 2009/10
Summer Term 2009
Winter Term 2008/09
Summer Term 2008
Lectures in Summer Term 2011
Course
Lecturer
SWS (l/t/s)
Deduction Systems
Dr. Bruscoli
1/1/0
Selected Topics in Proof Theory (external link)
Dr. Bruscoli
0/2/0
Structural Proof Theory and Abstract Logic Programming (external link)
Dr. Bruscoli
2/2/0
Last modified: 5th Apr 2011, 4.20 PM
Author:
Dipl.-Inf. Sebastian Haufe
Print
