Computer Sciences

Ao.Univ.-Prof. Dr. Elmar Eder

Job description: Associate Professor

Office at the Techo-Z: J. Haringer Str.2, room 1.06

Phone number: +43 662 8044 6342

Research interests: automated theorem proving, artificial intelligence

his personal page: http://www.cosy.sbg.ac.at/~eder/eder.html

Email: edercosy.sbg.ac.at