Search for tag: "instantiation"
12.aThe first video of the Inf2d lecture on Inference in First-Order Logic.
From Claudia-Elena Chirita
0 likes
216 plays
0
|
|