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

First Page		Document Content
Date: 2011-06-07 13:44:55		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 Source URL: www.cs.uni-potsdam.de Download Document from Source Website File Size: 191,84 KB Share Document on Facebook