%0 Conference Paper %1 conf/cade/SilvaSCDRM08 %A da Silva, Paulo Pinheiro %A Sutcliffe, Geoff %A Chang, Cynthia %A Ding, Li %A Rio, Nicholas Del %A McGuinness, Deborah L. %B PAAR/ESHOL %D 2008 %E Konev, Boris %E Schmidt, Renate A. %E Schulz, Stephan %I CEUR-WS.org %K dblp %T Presenting TSTP Proofs with Inference Web Tools. %U http://dblp.uni-trier.de/db/conf/cade/paar2008.html#SilvaSCDRM08 %V 373

@inproceedings{conf/cade/SilvaSCDRM08, added-at = {2023-03-10T00:00:00.000+0100}, author = {da Silva, Paulo Pinheiro and Sutcliffe, Geoff and Chang, Cynthia and Ding, Li and Rio, Nicholas Del and McGuinness, Deborah L.}, biburl = {https://www.bibsonomy.org/bibtex/2bfce4bdb7e88a5d01b24bcb8a7000030/dblp}, booktitle = {PAAR/ESHOL}, crossref = {conf/cade/2008paar}, editor = {Konev, Boris and Schmidt, Renate A. and Schulz, Stephan}, ee = {https://ceur-ws.org/Vol-373/paper-07.pdf}, interhash = {a41720a96cd037f480193f8966723adb}, intrahash = {bfce4bdb7e88a5d01b24bcb8a7000030}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T18:54:57.000+0200}, title = {Presenting TSTP Proofs with Inference Web Tools.}, url = {http://dblp.uni-trier.de/db/conf/cade/paar2008.html#SilvaSCDRM08}, volume = 373, year = 2008 }