The 13th TPTP Tea Party
(
Previous TPTP Tea Parties
)
organized by
Geoff Sutcliffe
University of Miami, USA
Alexander Steen
University of Greifswald, Germany
Financial support from
Working Group 2
Automated Theorem Provers
, COST Action 2011
EuroProofNet
Abstract