Metrics
4 Record Views
- Title
- The TPTP Process Instruction Language, with Applications
- Creators
- Geoff Sutcliffe - University of Miami
- Publication Details
- Electronic proceedings in theoretical computer science, Vol.167, pp.1-1
- Academic Unit
- Leadership Department; College of A&S; A&S - Computer Science
- Language
- English
- Resource Type
- Journal article
- Record Identifier
- 991031614553302976