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

Catalog

License: UHH-L2G
1961 Views
06.10.2016
Informatik

Aussagenlogik in Coq Teil 2 und Formalisierung durch Prädikatenlogik

Sebastian Böhne, Prof. Dr. Maria Knobelsdorf
Mathematisch Argumentieren und Beweisen (WiSe 16/17)

Links

Citation2Go

Please click on the link bellow and then fill out the required fields to contact our Support Team! RRZ Support Link

    Series