09:47 duration 9 minutes 47 seconds
12.c
The third video of the Inf2d lecture on Inference in First-Order Logic.
16:20 duration 16 minutes 20 seconds
10.c
Third video of the Inf2d lecture on First-Order Logic.
36:11 duration 36 minutes 11 seconds
10.b
Second video of the Inf2d lecture on First-Order Logic.
18:54 duration 18 minutes 54 seconds
10.a
First video of the Inf2d lecture on First-Order Logic.