The TPTP Problem Library, Release v1.2.0

Journal article

Geoff Sutcliffe and Christian Suttner

Logic journal of the IGPL, Vol.3(6), pp.957-959

1995-10

Metrics

6 Record Views

Title: The TPTP Problem Library, Release v1.2.0
Creators: Geoff Sutcliffe - Dep't of Computer Science, James Cook University Australia geoff@cs.jcu.edu.au
Christian Suttner - Institut für Informatik, TU München Germany suttner@informatik.tu-muenchen.de
Publication Details: Logic journal of the IGPL, Vol.3(6), pp.957-959
Publisher: Oxford University Press
Academic Unit: Leadership Department; College of A&S; A&S - Computer Science
Language: English
Resource Type: Journal article
Record Identifier: 991031600316702976