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#