Ao.Univ.-Prof. Dr. Elmar Eder#

Position

Associate Prof.

Universität

Universität Salzburg

Institut

Institute Computer Sciences

Arbeitsgebiet

Automated Theorem Proving, Artificial Intelligence, Künstliche Intelligenz, Automatisches Beweisen

E-Mail

eder nospam@TUGraz.at @cosy.sbg.ac.at

Web-Site

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

Besondere Aktivitäten

-

Mitgliedschaften

-

Projekte

-

Publikationen

-

Anschrift

-

Ort

Salzburg

Telefon

-

Anmerkung

-

Weitere Wissenschaftler mit ähnlichem Arbeitsgebiet#