Max-Planck-Institut für Informatik

•   Forschungseinrichtung
•   Saarbrücken
•   https://www.mpi-inf.mpg.de/

Kooperationspartner der Forschungsgruppe(n)

• Computational Logic
• Automatentheorie
• Wissensbasierte Systeme
• Algebraische und logische Grundlagen der Informatik