m7 lec 2 the resolution refutation method for first order logic

Name: m7 lec 2 the resolution refutation method for first order logic
Uploaded: Feb 4, 2016
Description: m7 lec 2 the resolution refutation method for first order logic