TPTP

From Scholarpedia

Jump to: navigation, search

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

Retrieved from "http://www.scholarpedia.org/w/index.php?title=TPTP&oldid=83510"

Personal tools

Log in