Project Details
Person
Privatdozent Dr. Thomas Sturm
Address
Max Planck Institute for Informatics
Saarland Informatics Campus
Research Group 1: Automation of Logic
Building E1 4
66123 Saarbrücken
-
As Ehemaliger Antragsteller
-
Completed projects
-
SMArT // Satisfiability Modulo Arithmetic and Theories (Research Grants) to 3/2016
-
-
Completed projects
-
As Cooperation Partner
-
Completed projects
-
Symbolic Methods for Biological Networks (Research Grants)
-
-
Completed projects
