A Demo of an early version (0.9.1) of TPTP Web TEST

A short Demo of an early version (1.0.0) of TPTP Web TEST


The master thesis paper Das TPTP-Web-TEST-Projekt in German

The master thesis paper Das TPTP-Web-TEST-Projekt in English (TODO translated with Systran Tranlator)


Eclipse Update Site for TPTP-Web-TEST