How the TPTP Succeeded

by
Geoff Sutcliffe
Department of Computer Science
University of Miami, USA
geoff@cs.miami.edu
Including inspiration from ...
Bill Beavers, Wolfgang Bibel,
Alan Bundy, Mark Stickel,
Christian Suttner, Andrei Voronkov
... and many others

Abstract

Slides: http://www.cs.miami.edu/~geoff/Seminars/HowTheTPTPSucceeded/