Max-Planck-Institut für Informatik
From International Center for Computational Logic

- Research institution
- Saarbrücken
- https://www.mpi-inf.mpg.de/
Partner organization of the research group(s)
Partner organization of the research group(s)