Wir freuen uns über jede Rückmeldung. Ihre Botschaft geht vollkommen anonym nur an das Administrator Team. Danke fürs Mitmachen, das zur Verbesserung des Systems oder der Inhalte beitragen kann. ACHTUNG: Wir können an Sie nur eine Antwort senden, wenn Sie ihre Mail Adresse mitschicken, die wir sonst nicht kennen!
unbekannter Gast

Univ.-Prof. Dr. Aart Middeldorp#

kein Foto vorhanden

Position
Univ.Professor
Universität
Universität Innsbruck
Institut
Institut für Informatik
Arbeitsgebiet
Computational Logic, Term Rewriting, Termination, Tree Automata, Theorem Proving, Automated Reasoning
E-Mail
aart.middeldorp@uibk.ac.at
Web-Site
http://cl-informatik.uibk.ac.at/~ami
Besondere Aktivitäten
-
Mitgliedschaften
-
Projekte
-
Publikationen
-
Anschrift
-
Ort
Innsbruck
Telefon
-
Anmerkung
-
Benutzer-ID: a.middeldorp



Weitere Wissenschaftler mit ähnlichem Arbeitsgebiet#