Automated Deduction by Theory Resolution Mark Stickel - Unit propagation - Document - PDFSEARCH.IO

First Page	Meta Content
	Automated Deduction by Theory Resolution Mark Stickel Add to Reading List Document Date: 2006-04-12 01:51:24 Open Document File Size: 922,86 KB Share Result on Facebook Person Graham Wrightson / Siekmann Wrightson / Mark Stickel / Christian Fritz / / Position author / / ProgrammingLanguage J / R / / SocialTag Logic Unit propagation Resolution Mathematical logic Logic programming Theory Automated theorem proving Mathematics Science

Automated Deduction by Theory Resolution Mark StickelAdd to Reading List