TPTP: Thousands of Problems for Theorem Provers +, DBLP:conf/twc/Chang08 + redirect page
Explaining Results from Deductive Engines: The TPTP Environment + Has identifier
| Explaining Results from Deductive Engines: The TPTP Environment |
DC:date
11 June 2008
FOAF:name
Explaining Results from Deductive Engines: The TPTP Environment
Has publishing details
Demo Program, 2008
Has title
Explaining Results from Deductive Engines: The TPTP Environment
Has url
http://browser.inference-web.org/tptppml/
Has where published
Tetherless World Constellation Grand Opening
Has year
2008
Needs
Table
DC:relation
TPTP-PML +
Has author
Cynthia Chang +, Paulo Pinheiro da Silva +, Deborah L. McGuinness +, Geoff Sutcliffe +
Has identifier
Explaining Results from Deductive Engines: The TPTP Environment +
Has presenter
Paulo Pinheiro da Silva +, Cynthia Chang +
Has topic
Inference Web +
Categories Demo +
|
