Wir freuen uns über jede Rückmeldung. Ihre Botschaft geht nur an das Administrator Team. Danke fürs Mitmachen, das zur Verbesserung des Systems oder der Inhalte beitragen kann. Ihre Nachricht (optional mit Ihrer E-Mail):
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#