16:10

Models And KBs

11:54

Resolution

10:32

An Introduction to Propositional Logic

20:14

Inference in First Order Logic (FOL) and Unification

15:08

Forward and BackwardChaining

1:03:43

Cómo hablar

1:05:09

Conferencia final sobre álgebra lineal de Gil Strang 18.06

21:23

FOL (First Order Logic)