TPTP World

1–3 of 3

Welcome to the TPTP World Google Group, an email list and discussion of the TPTP World - see www.TPTP.org .

0 selected

Geoff Sutcliffe

Mar 29

Talks about ATP on YouTube

Hi all, For those with some spare time while eating lunch, you might enjoy some of Adam Pease's

unread,

Talks about ATP on YouTube

Hi all, For those with some spare time while eating lunch, you might enjoy some of Adam Pease's

Mar 29

Geoff Sutcliffe

Mar 16

CASC-28 - Registration open

Hi all, Registration for the CADE-28 ATP System Competition (CASC-28) is now open. Details are

unread,

CASC-28 - Registration open

Hi all, Registration for the CADE-28 ATP System Competition (CASC-28) is now open. Details are

Mar 16

Geoff Sutcliffe

Jan 29

Expansion and Modernisation of the TPTP World

HI everyone, Thanks for joining TPTP World Google Group! One of the reasons I created the group is to

unread,

Expansion and Modernisation of the TPTP World

HI everyone, Thanks for joining TPTP World Google Group! One of the reasons I created the group is to

Jan 29

Search

Clear search

Close search

Google apps

Main menu