User Interfaces for Portable Proofs +,
Presenting TSTP Proofs with Inference Web Tools + Author
Explaining Results from Deductive Engines: The TPTP Environment +,
User Interfaces for Portable Proofs +,
Presenting TSTP Proofs with Inference Web Tools + Has author
Geoff Sutcliffe + Has identifier
TPTP-PML + Has member
TPTP meeting, 2008-07-16 +,
TPTP meeting, 2008-07-21 + Has participant
| Geoff Sutcliffe |
Foaf:firstName
Geoff
Foaf:name
Geoff Sutcliffe
Foaf:surname
Sutcliffe
Foaf:depiction
Anonymous.png +
Has identifier
Geoff Sutcliffe +
Categories Person +
|
