Univ.Prof. Dr.phil. Alexander Leitsch#

Position

Univ.Professor

Universität

Technische Universität Wien

Institut

E185 - Institut für Computersprachen

Arbeitsgebiet

Programming, Programming Languages, Programmiersprache, Computersprachen, Resolution, Logic, Proof Analysis, Proof Theory

E-Mail

alexander.leitsch nospam@TUGraz.at @tuwien.ac.at

Web-Site

http://www.logic.at/staff/leitsch

Besondere Aktivitäten

-

Mitgliedschaften

-

Projekte

-

Publikationen

-

Anschrift

-

Ort

Wien

Telefon

-

Anmerkung

-

Weitere Wissenschaftler mit ähnlichem Arbeitsgebiet#