Presenting tstp proofs with inference web tools
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|presenting tstp proofs with inference web tools }}
- [[]]
bibtex
{{#vardefine:pagename|Presenting tstp proofs with inference web tools }}{{#vardefine:key| }}
abstract:
download:
- paper: TW-2008-10.pdf
- slides:
Facts about Presenting tstp proofs with inference web toolsRDF feed
| Author | Paulo Pinheiro da Silva +, Geoff Sutcliffe +, Cynthia Chang +, Li Ding +, Nicholas Del Rio +, and Deborah L. McGuinness + |
| Bibtype | inproceedings + |
| Booktitle | PAAR/ESHOL + |
| Doi | http://ceur-ws.org/Vol-373/paper-07.pdf + |
| Key | dblp:conf/cade/silvascdrm08 + |
| Paper | TW-2008-10.pdf + |
| Relation | Inference web + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/cade/SilvaSCDRM08 + |
| Tag | Computer science + |
| Title | Presenting TSTP Proofs with Inference Web Tools + |
| Tr id | TW-2008-10 + |
| Year | 2008 + |
