Menu
Scholarship
Faculty & Researcher Profiles
Academic & Research Units
Sign in
Back
Journal article
The TPTP Problem Library, Release v1.2.0
Geoff Sutcliffe
and
Christian Suttner
Show details for 2 authors
Logic journal of the IGPL, Vol.3(6), pp.957-959
1995-10
DOI:
https://doi.org/10.1093/jigpal/3.6.957
Share
Send to
Metrics
Details
Metrics
6
Record Views
Details
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
Show the rest
Browse and search our researcher profiles
Browse our research and academic units
Details