Max-Planck-Institut für Informatik
Research Group 1: Automation of Logic
Kontakt
Research Group 1: Automation of Logic
Building E1 4
66123 Saarbrücken
66123 Saarbrücken
Zugehörige Einrichtungen
Max-Planck-Institut für Informatik
Alle Ebenen einblenden | ausblenden
- Abteilung 1: Algorithmen und KomplexitätZur Einrichtung
- Abteilung 2: Computer Vision and Machine LearningZur Einrichtung
- Abteilung 3: Internet ArchitectureZur Einrichtung
- Abteilung 4: ComputergrafikZur Einrichtung
- Abteilung 5: Datenbanken und InformationssystemeZur Einrichtung
- Arbeitsgruppe Computational BiologyZur Einrichtung
- Department 6: Visual Computing and Artificial IntelligenceZur Einrichtung
- Research Group 1: Automation of Logic
DFG Projekte
Gehören Sie dieser Forschungseinrichtung an oder vertreten Sie sie?
Wenn Sie Änderungswünsche haben, nutzen Sie unser Korrekturformular