The TPTP process instruction language with applications

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Electronic Proceedings in Theoretical Computer Science, EPTCS
Publisher	Open Publishing Association
Pages	1-3
Number of pages	3
Volume	167
State	Published - Oct 29 2014
Externally published	Yes
Event	11th Workshop on User Interfaces for Theorem Provers, UITP 2014 - Vienna, Austria Duration: Jul 17 2014 → …

Other	11th Workshop on User Interfaces for Theorem Provers, UITP 2014
Country	Austria
City	Vienna
Period	7/17/14 → …

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.

@inproceedings{7121be6ef48c4252ac96d4270e4f8b96,

title = "The TPTP process instruction language with applications",

author = "Geoffrey Sutcliffe",

year = "2014",

month = oct,

day = "29",

language = "English (US)",

volume = "167",

pages = "1--3",

booktitle = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

publisher = "Open Publishing Association",

note = "11th Workshop on User Interfaces for Theorem Provers, UITP 2014 ; Conference date: 17-07-2014",

}

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

T2 - 11th Workshop on User Interfaces for Theorem Provers, UITP 2014

Y2 - 17 July 2014

ER -