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

Ao.Univ.Prof. Dipl.Inf. Dr.rer.nat Bernhard Gramlich#

kein Foto vorhanden

Position
Univ.Dozent
Universität
Technische Universität Wien
Institut
E185 - Institut für Computersprachen
Arbeitsgebiet
Theoretische Informatik, Constraint Language, Functional Features, Term Rewriting, Context-Sensitive System, Declarative Programming, Declarative Programming,
Computational Logic
Automated Reasoning
Declarative Programming
Formal Methods
Specification And Verification
E-Mail
bernhard.gramlich@tuwien.ac.at
Web-Site
http://www.logic.at/staff/gramlich
Besondere Aktivitäten
-
Mitgliedschaften
-
Projekte
-
Publikationen
-
Anschrift
-
Ort
Wien
Telefon
-
Anmerkung
-
Benutzer-ID: b.gramlich



Weitere Wissenschaftler mit ähnlichem Arbeitsgebiet#