Using the TPTP Language for Representing Derivations in Tableau and Connection Calculi Geoff Sutcliffe Department of Computer Science University of Miami, USA - TPTP - Document - PDFSEARCH.IO

First Page	Meta Content
	Using the TPTP Language for Representing Derivations in Tableau and Connection Calculi Geoff Sutcliffe Department of Computer Science University of Miami, USA Add to Reading List Document Date: 2012-03-30 11:05:54 Open Document File Size: 191,84 KB Share Result on Facebook

Using the TPTP Language for Representing Derivations in Tableau and Connection Calculi Geoff Sutcliffe Department of Computer Science University of Miami, USA Add to Reading List