max planck institut
informatik
mpii logo Minerva of the Max Planck Society

Lecture "Automated Reasoning", SS12 - Literature

Dictionary