Max-Planck Institute for Informatics
Research Group 1: Automation of Logic
Contact
Research Group 1: Automation of Logic
Building E1 4
66123 Saarbrücken
66123 Saarbrücken
Affiliated institutions
- Department 1: Algorithms and ComplexityGo to institution
- Department 2: Computer Vision and Machine LearningGo to institution
- Department 3: Internet ArchitectureGo to institution
- Department 4: Computer GraphicsGo to institution
- Department 5: Databases and Information SystemsGo to institution
- Research Group Computational BiologyGo to institution
- Department 6: Visual Computing and Artificial IntelligenceGo to institution
- Research Group 1: Automation of Logic
DFG Projects
Are you affiliated with this institution or do you represent it?
If you would like to request changes, please use our correction form.