Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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 = {2019-09-04T00:00:00.000+0200},
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 = {http://ceur-ws.org/Vol-373/paper-07.pdf},
interhash = {a41720a96cd037f480193f8966723adb},
intrahash = {bfce4bdb7e88a5d01b24bcb8a7000030},
keywords = {dblp},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
timestamp = {2020-02-13T12:10:54.000+0100},
title = {Presenting TSTP Proofs with Inference Web Tools.},
url = {http://dblp.uni-trier.de/db/conf/cade/paar2008.html#SilvaSCDRM08},
volume = 373,
year = 2008
}