Prädikatenlogik mit Gleichheit in Coq - Sebastian Böhne, Prof. Dr. Maria Knobelsdorf - Universität Hamburg
- Lecture2Go
- Videokatalog
- F.6 - Mathematik, Informatik, Naturwissenschaften
- Informatik
- Mathematisch Argumentieren und Beweisen
Videokatalog
1583 Aufrufe
07.10.2016
Prädikatenlogik mit Gleichheit in Coq
Technischer Support
Bitte klicken Sie auf den nachfolgenden Link und füllen Sie daraufhin die notwendigen Felder aus, um unser Support-Team zu kontaktieren!
Link zu der RRZ-Support-Seite