Menu
Submit Site
Home
Computer
Computer Science
Eder, Elmar
Eder, Elmar
All Links
Website
Share this:
Details of Eder, Elmar
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 .
ACM
Send feedback
submit