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
E-Mail:


Research interests: automated theorem proving, artificial intelligence