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

Fingerprint

Automated Reasoning
Infrastructure

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.

The TPTP World – Infrastructure for automated reasoning. / Sutcliffe, Geoffrey.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9203 Springer Verlag, 2015. p. 327-329 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9203).

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

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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9203, Springer Verlag, pp. 327-329, 11th International Reasoning Web Summer School, RW 2015, Berlin, Germany, 7/31/15.
Sutcliffe G. 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. Springer Verlag. 2015. p. 327-329. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Sutcliffe, Geoffrey. / The TPTP World – Infrastructure for automated reasoning. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9203 Springer Verlag, 2015. pp. 327-329 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{76cc2ead04a94077801661239579c625,
title = "The TPTP World – Infrastructure for automated reasoning",
author = "Geoffrey Sutcliffe",
year = "2015",
language = "English (US)",
isbn = "9783319217673",
volume = "9203",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "327--329",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - The TPTP World – Infrastructure for automated reasoning

AU - Sutcliffe, Geoffrey

PY - 2015

Y1 - 2015

UR - http://www.scopus.com/inward/record.url?scp=84951014261&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84951014261&partnerID=8YFLogxK

M3 - Conference contribution

SN - 9783319217673

VL - 9203

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 327

EP - 329

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

ER -