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

Detailseite

Person

Druckansicht

Dr. Tomas Peitl

Adresse Technische Universität Wien
Institut für Logic and Computation
Favoritenstraße 9-11
1040 Wien
Österreich

Projekte

Als Kooperationspartner
- laufende Projekte
  - Quantifizierte Boolesche Formeln: Beweiskomplexität und Solving (Sachbeihilfen)

© 2026 DFG Kontakt / Impressum / Datenschutz