The TPTP process instruction language with applications

Research output: Contribution to journalConference articlepeer-review

1 Scopus citations
Original languageEnglish (US)
Pages (from-to)1-3
Number of pages3
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
StatePublished - Oct 29 2014
Externally publishedYes
Event11th Workshop on User Interfaces for Theorem Provers, UITP 2014 - Vienna, Austria
Duration: Jul 17 2014 → …

ASJC Scopus subject areas

  • Software

Cite this