Search for tag: "unification"

AI 531: First Order Logic and Inference

AI 531 - First Order Logic Notation, Knowledge Engineering and Inference

From  Prasad Tadepalli 13 plays