EVENTSAll Events

07Jun

Academic report: ATutorial on the ATP Systems Running on TPTP Tuesday,10 July 2018 17:31

06Jun

Academic report: Making Belnap's "Useful 4-Valued Logic" Useful Saturday,02 June 2018 17:33

06Jun

Academic report: The TPTP World -Infrastructure for Automated Reasoning Friday,01 June 2018 17:26