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 - bernhard.gramlich nospam@TUGraz.at @tuwien.ac.at
- Web-Site
- http://www.logic.at/staff/gramlich
- Besondere Aktivitäten
- -
- Mitgliedschaften
- -
- Projekte
- -
- Publikationen
- -
- Anschrift
- -
- Ort
- Wien
- Telefon
- -
- Anmerkung
- -
Weitere Wissenschaftler mit ähnlichem Arbeitsgebiet#