• 8 years ago
4 - 1 - 4.1 Propositional Resolution-Introduction to Logic-Professor Mike Genesereth