A Grand Challenge of Theorem Discovery Geoff Sutcliffe1 , Yi Gao1 , and Simon Colton2 1 Department of Computer Science, University of Miami , - Geoff Sutcliffe - Document - PDFSEARCH.IO

First Page	Meta Content
	A Grand Challenge of Theorem Discovery Geoff Sutcliffe1 , Yi Gao1 , and Simon Colton2 1 Department of Computer Science, University of Miami , Add to Reading List Document Date: 2008-01-08 08:29:08 Open Document File Size: 131,31 KB Share Result on Facebook

A Grand Challenge of Theorem Discovery Geoff Sutcliffe1 , Yi Gao1 , and Simon Colton2 1 Department of Computer Science, University of Miami , Add to Reading List