
Assoc. Univ. Prof. Dr. Elmar Eder
Associate Professor
Jakob-Haringer-Str. 2, 5020 Salzburg
Tel.: +43 662 8044-6300
E-Mail: edeY6Rbar@cs.nqkBYsbg.avcnqkc.atDJTiW
Research interests: automated theorem proving, artificial intelligence