Andreas Nonnengart: Degrees
Degrees
Diploma in Computer Science, University of Kaiserslautern, June 1986.
PhD in Computer Science (Dr. rer. nat.), University of Saarbrücken, December 1995.
Thesis: "A Resolution-Based Calculus for Temporal Logics".
Impressum: Andreas Nonnengart
DFKI Impressum
DFKI Datenschutzerklärung