Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
System on TPTP
open-in-new
<h2 id="references">References</h2> <ol> <li id="fn:1"><p>Sutcliffe, Geoff. "System on TPTP". Retrieved 4 November 2010. <a href="http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTP" target="_blank">http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTP</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Sutcliffe, Geoff; D. Seyfang (1999). "Smart selective competition parallelism ATP". Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference: 341–345. <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> </ol>