1. Lecture2Go
  2. Videokatalog
  3. F.6 - Mathematik, Informatik, Naturwissenschaften
  4. Informatik
  5. Mathematisch Argumentieren und Beweisen

Videokatalog

Lizenz: UHH-L2G
1583 Aufrufe
07.10.2016
Informatik

Prädikatenlogik mit Gleichheit in Coq

Sebastian Böhne, Prof. Dr. Maria Knobelsdorf

Links

Zitat2Go

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

    Serie