12:36

Aussagenlogik #16 - Resolutionssatz

31:18

Logisches Schließen mit Resolution

15:20

Aussagenlogik #18 - Horn-SAT

22:28

Das Geburtstagsparadoxon

11:54

Resolution

20:34

Funniest Animal Videos Ever (Part 1)

44:50

Der Resolutionsalgorithmus

56:51

Aussagenlogik