Search for tag: "constants"

15.b

The second video of the Inf2d lecture on Situation Calculus.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 128 plays 0  

10.b

Second video of the Inf2d lecture on First-Order Logic.

From  Claudia-Elena Chirita on February 1st, 2021 0 likes 188 plays 0  

EPCC-PS-Conclusion-1.3-BestPracticesI

Conclusion (video 1)

From  Michael Jackson on July 29th, 2020 0 likes 31 plays 0  

Lance-Williams algorithm

Lance-Williams algorithm

From  Nigel Goddard on September 25th, 2016 1 likes 1,812 plays 0