Search for tag: "syntax of fol"

AI 531: First Order Logic

AI 531: First Order Logic

From  Prasad Tadepalli 7 plays