GdI Seminar & Advanced Reading Club: "Formalised Logic and the Interactive Proof Checker Coq"
- Dozentinnen/Dozenten
- Prof. Michael Mendler, Ph.D., Martin Sticht
- Angaben
- [s]
Zeit und Ort: Di 16:00 - 18:00, F21/061
- Institution: Professur für Grundlagen der Informatik
Hinweis für Web-Redakteure: Wenn Sie auf Ihren Webseiten einen Link zu dieser Lehrveranstaltung setzen möchten, verwenden Sie bitte einen der folgenden Links:Link zur eigenständigen Verwendung Link zur Verwendung in Typo3
|
|