| 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
| Other | 11th Workshop on User Interfaces for Theorem Provers, UITP 2014 |
|---|---|
| Country | Austria |
| City | Vienna |
| Period | 7/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 proceeding › Conference 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
@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 -