Lab for Automated Reasoning and Analysis LARA

Lecture 14: Resolution Theorem Proving

Lecture 14 PDF Slides (given up to existence of countable models)

 
sav17/lecture_14.txt · Last modified: 2017/05/26 14:04 by vkuncak