The TPTP process instruction language with applications

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

1 Scopus citations
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.