Brotkrumenpfad
Assoc. Univ. Prof. Dr. Elmar Eder
Associate Professor
- Jakob-Haringer-Str. 2
- 5020 Salzburg
- Tel:
- +43 662 8044-6342
- Fax:
- +43 662 8044-172
Research interests: automated theorem proving, artificial intelligence