16 1 predicate resolution
Artificial Intelligence Chapter 16 Resolution in the Predicate Calculus Biointelligence Lab School of Computer Sci. & Eng. Seoul National University.
Artificial Intelligence Chapter 16 Resolution in the Predicate Calculus