Tag Archives: Refutation Proofs

Resolution-Refuation proofs – 2 : Lecture

Resolution-Refutation proofs : Lecture, By Prof. P. Dasgupta, Dept. of Computer Science & Engineering, IIT Kharagpur.

Leave a comment Continue Reading →

Resolution-Refuation proofs – 1 : Lecture

Resolution-Refutation proofs : Lecture, By Prof. P. Dasgupta, Dept. of Computer Science & Engineering, IIT Kharagpur.

Leave a comment Continue Reading →