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
    Personal tools
    Namespaces

    Variants
    Actions
    Navigation
    Focal areas
    Activity
    Tools