PROOF GRANULARITY AS AN EMPIRICAL PROBLEM?∗ Marvin Schiller German Research Center for Artificial Intelligence (DFKI), Bremen, Germany Christoph Benzm¨uller - Marvin - Document - PDFSEARCH.IO

First Page	Meta Content
	PROOF GRANULARITY AS AN EMPIRICAL PROBLEM?∗ Marvin Schiller German Research Center for Artificial Intelligence (DFKI), Bremen, Germany Christoph Benzm¨uller Add to Reading List Document Date: 2009-03-08 15:17:48 Open Document File Size: 174,66 KB Share Result on Facebook

PROOF GRANULARITY AS AN EMPIRICAL PROBLEM?∗ Marvin Schiller German Research Center for Artificial Intelligence (DFKI), Bremen, Germany Christoph Benzm¨ullerAdd to Reading List