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

Detailseite

Person

Druckansicht

Privatdozent Dr. Thomas Sturm

Adresse Max Planck Institute for Informatics
Saarland Informatics Campus
Research Group 1: Automation of Logic
Building E1 4
66123 Saarbrücken

Projekte

Als Ehemaliger Antragsteller
- abgeschlossene Projekte
  - SMArT // Satisfiability modulo Arithmetik und Theorien (Sachbeihilfen) bis 3/2016
Als Kooperationspartner
- abgeschlossene Projekte
  - Symbolische Methoden für biologische Netzwerke (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz