Inhaltsbereich
Lehrstuhl-Nachrichten
14.07.2023 09:00 | Multiple PhD and Postdoc Positions at LMU München about Automation of Higher-Order Logic
Mehr...
1.03.2023 09:00 | ERC Consolidator Grant für Forschungsprojekt über höherstufiges Theorembeweisen
Mehr...