Logo: German Research InstitutionsGerman Research Institutions

Research Group 1: Automation of Logic

  • Einrichtungen
  • Projekte / Promotionsmöglichkeiten
  • Top
Max-Planck-Institut für Informatik

Research Group 1: Automation of Logic

Building E1 4 null, 66123 Saarbrücken

Zur HomepageInformatik allgemein

Zugehörige Einrichtungen

  • Abteilung 1: Algorithmen und Komplexität
  • Abteilung 2: Computer Vision and Machine Learning
  • Abteilung 3: Internet Architecture
  • Abteilung 4: Computergrafik
  • Abteilung 5: Datenbanken und Informationssysteme
  • Arbeitsgruppe Computational Biology
  • Department 6: Visual Computing and Artificial Intelligence
  • Research Group 1: Automation of Logic