11 - Resolution (Prädikatenlogik) [ID:40023]
clip player preview

Dieser Clip ist ausschließlich für angemeldete Benutzer zugänglich.

Teil einer Videoserie :
Grundlagen der Logik in der Informatik

Presenters

Prof. Dr. Lutz Schröder Prof. Dr. Lutz Schröder

Zugänglich über

Nur für Portal

Gesperrt clip

Dauer

01:25:14 Min

Aufnahmedatum

2022-01-14

Hochgeladen am

2022-01-15 10:09:09

Sprache

de-DE