Eder, Elmar
cosy.sbg.ac.atUniversity of Salzburg - Artificial intelligence, automated theorem proving, proof calculi and their complexities, logic programming, theoretical computer science, and complexity theory .
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.