Presenting TSTP Proofs with Inference Web Tools

From Tetherless World Wiki

(Redirected from TW-2008-10)
Jump to: navigation, search

Citation: Paulo Pinheiro da Silva,Geoff Sutcliffe,Cynthia Chang,Li Ding,Nick del Rio,Deborah McGuinness. (2008) Presenting TSTP Proofs with Inference Web Tools. In Proceedings of IJCAR '08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008), August,2008. (Download)

Publication inproceedings ( Edit )
type Workshop Paper
bibtype inproceedings
Bibtex basics
author Paulo Pinheiro da Silva;Geoff Sutcliffe;Cynthia Chang;Li Ding;Nick del Rio;Deborah McGuinness
title Presenting TSTP Proofs with Inference Web Tools
booktitle Proceedings of IJCAR '08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008)
address Sydney, Australia
year 2008
month August
Bibtex more
Access Paper
pdf TW-2008-10.pdf
pdf url http://tw.rpi.edu/wiki.tw/images/9/9a/TW-2008-10.pdf

TW-2008-10 Edit TWTR
Facts about Presenting TSTP Proofs with Inference Web ToolsRDF feed
Address Sydney, Australia  +
Author Paulo Pinheiro da Silva  +, Geoff Sutcliffe  +, Cynthia Chang  +, Li Ding  +, Nick del Rio  +, and Deborah McGuinness  +
Bibtype inproceedings  +
Booktitle Proceedings of IJCAR '08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008)  +
Has author Paulo Pinheiro da Silva  +, Geoff Sutcliffe  +, Cynthia Chang  +, Li Ding  +, Nick del Rio  +, and Deborah McGuinness  +
Has identifier TW-2008-10  +
Has publishing details August,2008  +
Has title Presenting TSTP Proofs with Inference Web Tools  +
Has tr id TW-2008-10  +
Has url http://tw.rpi.edu/wiki.tw/images/9/9a/TW-2008-10.pdf  +
Has where published Proceedings of IJCAR '08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008)  +
Has year 2008  +
Month August  +
Pdf TW-2008-10.pdf  +
Pdf url http://tw.rpi.edu/wiki.tw/images/9/9a/TW-2008-10.pdf  +
Title Presenting TSTP Proofs with Inference Web Tools  +
Year 2008  +
Retrieved from "http://tw.rpi.edu/wiki/Presenting_TSTP_Proofs_with_Inference_Web_Tools"
Personal tools