application/vnd.ms-powerpoint

application/vnd.edshare-link

http://www.edshare.soton.ac.uk/6188/1/7_%2D_Automated_Reasoning.ppt

http://www.inf.ed.ac.uk/teaching/courses/ar/book/book-postcript/index.html

Automated Reasoning - Nicholas Gibbins Keywords:automated reasoning, analytic tableaux, resolution

http://www.edshare.soton.ac.uk/6188/

Resource

NonPeerReviewed