Search for tag: "substitutions"

12.c

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

From  Claudia-Elena Chirita on February 3rd, 2021 0 likes 166 plays 0  

11.a

The first video of the Inf2d lecture on Unification.

From  Claudia-Elena Chirita on February 2nd, 2021 0 likes 219 plays 0  

Lecture 4 Part 3: State space models

In this part of the lecture we look at how state-space models can be used to solve higher order differential equations using the method for systems of equations.

From  David Ingram on July 6th, 2020 0 likes 4 plays 0