Assoc. Univ. Prof. Dr. Elmar Eder
Assoc. Univ. Prof. Dr. Elmar Eder Associate Professor
  • Jakob-Haringer-Str. 2
  • 5020 Salzburg
Tel:
+43 662 8044-6342
Fax:
+43 662 8044-172
eder@cs.sbg.ac.at Scientific Computation Division

Research interests: automated theorem proving, artificial intelligence