@inproceedings{ pinheirodasilva2008:PAAR,
  author = {{Pinheiro Da Silva}, Paulo and Sutcliffe, Geoff and Chang, Cynthia
	and Ding, Li and {Del Rio}, Nicholas and McGuinness, Deborah L},
  title = {{Presenting TSTP Proofs with Inference Web Tools}},
  booktitle = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning,
	4th International Joint Conference on Automated Reasoning},
  year = {2008},
  editor = {Schmidt, R and Konev, B and Schulz, S},
  pages = {Accepted},
  address = {Sydney, Australia},
  file = {:C$\backslash$:/Users/Dani/AppData/Local/Mendeley Ltd./Mendeley Desktop/Downloaded/Pinheiro Da Silva et al. - 2008 - Presenting TSTP Proofs with Inference Web Tools.pdf:pdf},
  keywords = {#InferenceWeb,#PML,#proof_theory,#understanding},
  mendeley-tags = {#InferenceWeb,#PML,#proof_theory,#understanding}
}

{"_id":{"_str":"5218856caa2f288d1f0002af"},"__v":3,"authorIDs":[],"author_short":["Pinheiro Da Silva, P.","Sutcliffe, G.","Chang, C.","Ding, L.","Del Rio, N.","McGuinness","L, D."],"bibbaseid":"pinheirodasilva-sutcliffe-chang-ding-delrio-mcguinness-l-presentingtstpproofswithinferencewebtools-2008","bibdata":{"address":"Sydney, Australia","author":["Pinheiro Da Silva, Paulo","Sutcliffe, Geoff","Chang, Cynthia","Ding, Li","Del Rio, Nicholas","McGuinness","L, Deborah"],"author_short":["Pinheiro Da Silva, P.","Sutcliffe, G.","Chang, C.","Ding, L.","Del Rio, N.","McGuinness","L, D."],"bibtex":"@inproceedings{ pinheirodasilva2008:PAAR,\n author = {{Pinheiro Da Silva}, Paulo and Sutcliffe, Geoff and Chang, Cynthia\r\n\tand Ding, Li and {Del Rio}, Nicholas and McGuinness, Deborah L},\n title = {{Presenting TSTP Proofs with Inference Web Tools}},\n booktitle = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning,\r\n\t4th International Joint Conference on Automated Reasoning},\n year = {2008},\n editor = {Schmidt, R and Konev, B and Schulz, S},\n pages = {Accepted},\n address = {Sydney, Australia},\n file = {:C$\\backslash$:/Users/Dani/AppData/Local/Mendeley Ltd./Mendeley Desktop/Downloaded/Pinheiro Da Silva et al. - 2008 - Presenting TSTP Proofs with Inference Web Tools.pdf:pdf},\n keywords = {#InferenceWeb,#PML,#proof_theory,#understanding},\n mendeley-tags = {#InferenceWeb,#PML,#proof_theory,#understanding}\n}","bibtype":"inproceedings","booktitle":"Proceedings of the Workshop on Practical Aspects of Automated Reasoning, 4th International Joint Conference on Automated Reasoning","editor":["Schmidt, R","Konev, B","Schulz, S"],"editor_short":["Schmidt, R","Konev, B","Schulz, S"],"file":":C$\\backslash$:/Users/Dani/AppData/Local/Mendeley Ltd./Mendeley Desktop/Downloaded/Pinheiro Da Silva et al. - 2008 - Presenting TSTP Proofs with Inference Web Tools.pdf:pdf","id":"pinheirodasilva2008:PAAR","key":"pinheirodasilva2008:PAAR","keywords":"#InferenceWeb,#PML,#proof_theory,#understanding","mendeley-tags":"#InferenceWeb,#PML,#proof_theory,#understanding","pages":"Accepted","title":"Presenting TSTP Proofs with Inference Web Tools","type":"inproceedings","year":"2008","bibbaseid":"pinheirodasilva-sutcliffe-chang-ding-delrio-mcguinness-l-presentingtstpproofswithinferencewebtools-2008","role":"author","urls":{},"keyword":["#InferenceWeb","#PML","#proof_theory","#understanding"],"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://delicias.dia.fi.upm.es/prov-xgCURATED.bib","downloads":0,"keywords":["#inferenceweb","#pml","#proof_theory","#understanding"],"search_terms":["presenting","tstp","proofs","inference","web","tools","pinheiro da silva","sutcliffe","chang","ding","del rio","mcguinness","l"],"title":"Presenting TSTP Proofs with Inference Web Tools","title_words":["presenting","tstp","proofs","inference","web","tools"],"year":2008,"dataSources":["drTBSwRdnSo2Wujnd"]}