Search for tag: "instantiation"

12.a

The first video of the Inf2d lecture on Inference in First-Order Logic.

From  Claudia-Elena Chirita 0 likes 210 plays 0  

11.a

The first video of the Inf2d lecture on Unification.

From  Claudia-Elena Chirita 0 likes 229 plays 0