Correcting A Widespread Error in Unification Algorithms PETER NORVIG Computer Science Division, University of California, Berkeley, CA 94720, USA Summary - Automated theorem proving - Document - PDFSEARCH.IO

First Page	Meta Content
	Correcting A Widespread Error in Unification Algorithms PETER NORVIG Computer Science Division, University of California, Berkeley, CA 94720, USA Summary Add to Reading List Document Date: 2003-10-26 19:35:31 Open Document File Size: 34,31 KB Share Result on Facebook

Correcting A Widespread Error in Unification Algorithms PETER NORVIG Computer Science Division, University of California, Berkeley, CA 94720, USA SummaryAdd to Reading List