TPTP
From Scholarpedia
Suggested author:
- Name: Dr. Geoff Sutcliffe
- Email: geoff@cs.miami.edu
- URL: http://www.cs.miami.edu/~geoff/
- Affiliation: University of Florida, http://dblp.uni-trier.de/db/indices/a-tree/s/Sutcliffe:Geoff.html
- Comments: authored TPTP
- Suggested by: User:Mokhov