The TPTP process instruction language with applications

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

1 Citation (Scopus)
Original languageEnglish (US)
Title of host publicationElectronic Proceedings in Theoretical Computer Science, EPTCS
PublisherOpen Publishing Association
Pages1-3
Number of pages3
Volume167
StatePublished - Oct 29 2014
Externally publishedYes
Event11th Workshop on User Interfaces for Theorem Provers, UITP 2014 - Vienna, Austria
Duration: Jul 17 2014 → …

Other

Other11th Workshop on User Interfaces for Theorem Provers, UITP 2014
CountryAustria
CityVienna
Period7/17/14 → …

ASJC Scopus subject areas

  • Software

Cite this

Sutcliffe, G. (2014). The TPTP process instruction language with applications. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 167, pp. 1-3). Open Publishing Association.

The TPTP process instruction language with applications. / Sutcliffe, Geoffrey.

Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol. 167 Open Publishing Association, 2014. p. 1-3.

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

Sutcliffe, G 2014, The TPTP process instruction language with applications. in Electronic Proceedings in Theoretical Computer Science, EPTCS. vol. 167, Open Publishing Association, pp. 1-3, 11th Workshop on User Interfaces for Theorem Provers, UITP 2014, Vienna, Austria, 7/17/14.
Sutcliffe G. The TPTP process instruction language with applications. In Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol. 167. Open Publishing Association. 2014. p. 1-3
Sutcliffe, Geoffrey. / The TPTP process instruction language with applications. Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol. 167 Open Publishing Association, 2014. pp. 1-3
@inproceedings{7121be6ef48c4252ac96d4270e4f8b96,
title = "The TPTP process instruction language with applications",
author = "Geoffrey Sutcliffe",
year = "2014",
month = "10",
day = "29",
language = "English (US)",
volume = "167",
pages = "1--3",
booktitle = "Electronic Proceedings in Theoretical Computer Science, EPTCS",
publisher = "Open Publishing Association",

}

TY - GEN

T1 - The TPTP process instruction language with applications

AU - Sutcliffe, Geoffrey

PY - 2014/10/29

Y1 - 2014/10/29

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

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

M3 - Conference contribution

AN - SCOPUS:84938561396

VL - 167

SP - 1

EP - 3

BT - Electronic Proceedings in Theoretical Computer Science, EPTCS

PB - Open Publishing Association

ER -