20 - Prädikatenlogische Normalformen Teil 2 und Prädikatenlogische Resolution - Dr. Frank Heitmann - University of Hamburg
- Lecture2Go
- Catalog
- F.6 - Mathematik, Informatik, Naturwissenschaften
- Informatik
- Formale Grundlagen der Informatik I
Catalog
3107 Views
14.06.2016
20 - Prädikatenlogische Normalformen Teil 2 und Prädikatenlogische Resolution
⚠︎ Die Aufzeichnungen dieser Vorlesung sind für die Prüfungsvorbereitung im Modul ‚Formale Grundlagen der Informatik I' der Universität Hamburg (seit 2022) aufgrund geänderter Inhalte nicht mehr geeignet!
Technical support
Please click on the link bellow and then fill out the required fields to contact our Support Team!
RRZ Support Link