The TPTP World – Infrastructure for automated reasoning

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages327-329
Number of pages3
Volume9203
ISBN (Print)9783319217673
StatePublished - 2015
Event11th International Reasoning Web Summer School, RW 2015 - Berlin, Germany
Duration: Jul 31 2015Aug 4 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9203
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other11th International Reasoning Web Summer School, RW 2015
CountryGermany
CityBerlin
Period7/31/158/4/15

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Sutcliffe, G. (2015). The TPTP World – Infrastructure for automated reasoning. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9203, pp. 327-329). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9203). Springer Verlag.