- Home
- Computer
- Computer Science
- Eder, Elmar
Computer · Computer Science
Eder, Elmar
Listed in the directory · updated 21 Jul 2022
About Eder, Elmar
Eder, Elmar- University of Salzburg - Artificial intelligence, automated theorem proving, proof calculi and their complexities, logic programming, theoretical computer science, and complexity theory .