Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Steffen Hölldobler

Adresse Technische Universität Dresden
Institut für Künstliche Intelligenz
Professur für Wissensverarbeitung
Nöthnitzer Straße 46
01187 Dresden

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Paralleles SAT-Solving (Sachbeihilfen)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 334: Spezifikation diskreter Prozesse und Prozesssysteme durch operationelle Modelle und Logiken (Graduiertenkollegs)

© 2025 DFG Kontakt / Impressum / Datenschutz