TUD
Deutsch
TUD Home
»
...
»
Computational Logic
»
Staff
»
Sebastian Haufe
Computational Logic
Home
Staff
Teaching
Computational Logic
Home
Staff
Teaching
Talks
Sebastian Haufe (birth name Voigt)
Position
PhD Student (extern)
Research interests
General Game Playing, Logic Programming, Theorem Proving
Email address
Last modified: 22nd Dec 2011, 11.06 AM
Author: Dipl.-Inf. Sebastian Haufe
Print