TW-2008-10 + redirect page
Presenting TSTP Proofs with Inference Web Tools + Has identifier
| Presenting TSTP Proofs with Inference Web Tools |
Bibtype
inproceedings
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
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
Address
Sydney, Australia +
Author
Paulo Pinheiro da Silva +, Geoff Sutcliffe +, Cynthia Chang +, Li Ding +, Nick del Rio +, Deborah McGuinness +
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 +, Deborah McGuinness +
Has identifier
Presenting TSTP Proofs with Inference Web Tools +
Month
August +
Pdf
TW-2008-10.pdf +
Categories Publication +, TW Technical Report +, Workshop Paper +
|
