1. Home
  2. Computer
  3. Computer Science
  4. Eder, Elmar

Computer · Computer Science

Eder, Elmar

Listed in the directory · updated 21 Jul 2022

Find them on

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 .

Tags

ACM

Where it sits

More in Computer Science

See all →