Presenting tstp proofs with inference web tools

From Semantic Portal Wiki

Jump to: navigation, search

Edit

Reference:

  1. Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nicholas Del Rio, Deborah L. McGuinness. Presenting TSTP Proofs with Inference Web Tools , PAAR/ESHOL, 2008

bibtex 


@inproceedings { dblp:conf/cade/silvascdrm08 ,
  author = "Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nicholas Del Rio, Deborah L. McGuinness", 
booktitle = "PAAR/ESHOL", 
title = "Presenting TSTP Proofs with Inference Web Tools", 
year = "2008", 
}

abstract:


download:

Retrieved from "http://tw.rpi.edu/portal/Presenting_tstp_proofs_with_inference_web_tools"
Facts about Presenting tstp proofs with inference web toolsRDF feed
AuthorPaulo Pinheiro da Silva  +, Geoff Sutcliffe  +, Cynthia Chang  +, Li Ding  +, Nicholas Del Rio  +, and Deborah L. McGuinness  +
Bibtypeinproceedings  +
BooktitlePAAR/ESHOL  +
Doihttp://ceur-ws.org/Vol-373/paper-07.pdf  +
Keydblp:conf/cade/silvascdrm08  +
PaperTW-2008-10.pdf  +
RelationInference web  +
Sourcehttp://dblp.uni-trier.de/rec/bibtex/conf/cade/SilvaSCDRM08  +
TagComputer science  +
TitlePresenting TSTP Proofs with Inference Web Tools  +
Tr idTW-2008-10  +
Year2008  +
Personal tools
Semantic Web Community
Tetherless World constellation
maintenance