Project Details
Person
Dr. Dominik Schreiber
Address
Universität Ulm
Fakultät Ingenieurwissenschaften, Informatik und Psychologie
Institut für Künstliche Intelligenz
James-Franck-Ring
89081 Ulm
-
As Applicant
-
Current projects
-
Propositional Proofs as Big Data (Research Grants)
-
-
Current projects
