TPTP - CASC - SSCPA
A Trilogy of Automated Theorem Proving Acronyms
by
including work done with
Geoff Sutcliffe
Department of Computer Science
University of Miami
USA
geoff@cs.miami.edu
Christian Suttner
Institut für Informtik
Technische Universität München
Germany
Abstract