The 13th TPTP Tea Party
A satellite event of
IJCAR 2024
Monday 1st July 2024
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 20111
EuroProofNet
Abstract
