Project Details
Person
Dr. Dominik Schreiber
Address
Karlsruher Institut für Technologie (KIT)
KASTEL - Institut für Informationssicherheit und Verlässlichkeit
Am Fasanengarten 5
76131 Karlsruhe
-
As Applicant
-
Current projects
-
Propositional Proofs as Big Data (Research Grants)
-
-
Current projects
