Christoph Wernhard @ TU Dresden
Papers
KRHyper Model Generation and Theorem Proving System
Further Software
Knowledge Representation and Reasoning Group at TU Dresden
AI Research Group at University Koblenz-Landau
Projects:
MoDeDok (2003-06)
|
In2Math (2001-03)
Deduktionstreffen 2005
E-mail:
Christoph.Wernhard@tu-dresden.de
Phone: +49 (0)351 463 38345
Office: Room 2017, Nöthnitzer Straße 46, 01187 Dresden
Home Page at the Faculty