Search for tag: "forward chaining"

12.b

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

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