- Startseite
- Impressum
Benutzerspezifische Werkzeuge
🔒
-A +
- English
Direkt zum Inhalt | Direkt zur Navigation

Christian-Albrechts-Universität zu Kiel

Technische Fakultät

Institut für Informatik

Arbeitsgruppe Rechnergestützte Programmentwicklung (bis 31.03.2018)
Team
Dipl.-Math. Insa Stucke
Forschungsinteressen

≡

Arbeitsgruppe Rechnergestützte Programmentwicklung (bis 31.03.2018)

‌Prof. Dr. Rudolf Berghammer
‌Forschung
‌Lehre (Archiv)
‌Team
- ‌Prof. Dr. Rudolf Berghammer
- ‌Dipl.-Math. Insa Stucke
  - ‌Forschungsinteressen
  - ‌Publikationen

Info

Forschungsinteressen

Relationenalgebra
Graphalgorithmen
Softwareverifikation
Automatische und interaktive Theorembeweiser

Seiteninformationen

Kontakt: Nikita Danilenko
Letzte Änderung: 21.10.2015
©: Christian-Albrechts-Universität zu Kiel

Diese Seite...

Document Actions

drucken
weiterempfehlen