The TPTP World -
Infrastructure for Automated Reasoning

Geoff Sutcliffe, University of Miami, USA

 

 

Problems

Solutions

Tools

Services