21 - Unentscheidbarkeit, Herbrand-Theorie, Resolution : Formale Grundlagen der Informatik I

Link:
  • https://lecture2go.uni-hamburg.de/l2go/-/get/v/19574
Autor/in:
Beteiligte Personen:
  • Regionales Rechenzentrum der Universität Hamburg/ MCC/ Lecture2Go
  • eLB-MIN
Verlag/Körperschaft:
Universität Hamburg
Erscheinungsjahr:
2016
Medientyp:
Audiovisuell
Schlagwort:
  • Informatik
Beschreibung:
  • Aufgrund eines defekts an der Aufzeichnungstechnik weist das Folienbild leider einige verfärbungen und Artefakte auf
Beziehungen:
URL https://lecture2go.uni-hamburg.de/l2go/-/get/l/4680
Lizenz:
  • UHH-L2G
Quellsystem:
Lecture2Go UHH
Interne Metadaten
Quelldatensatz
oai:lecture2go.uni-hamburg.de:19574