Skolemization, Most General Unifiers, First-Order Resolution Torsten Hahmann CSC 384, University of Toronto March 07, 2011 - Skolem normal form - Document - PDFSEARCH.IO

First Page	Meta Content
	Skolemization, Most General Unifiers, First-Order Resolution Torsten Hahmann CSC 384, University of Toronto March 07, 2011 Add to Reading List Document Date: 2011-03-16 15:35:01 Open Document File Size: 345,99 KB Share Result on Facebook

Skolemization, Most General Unifiers, First-Order Resolution Torsten Hahmann CSC 384, University of Toronto March 07, 2011Add to Reading List