Reconstructing Proofs at the Assertion Level. Huang, X. In Proceedings of CADE-94, of LNAI-814, pages 738--752, 1994. Springer. bibtex @INPROCEEDINGS{huang1994,
author = {Huang, Xiaorong},
title = {{Reconstructing Proofs at the Assertion Level}},
booktitle = {Proceedings of CADE-94},
year = {1994},
series = {LNAI-814},
pages = {738--752},
publisher = {Springer},
keywords = {\#comparison,\#use},
mendeley-tags = {\#comparison,\#use}
}
Downloads: 0
{"_id":{"_str":"51fa72c3c5b22c3876000a09"},"__v":35,"authorIDs":["5481c317a29145d03f001517"],"author_short":["Huang, X."],"bibbaseid":"huang-reconstructingproofsattheassertionlevel-1994","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Huang"],"firstnames":["Xiaorong"],"suffixes":[]}],"title":"Reconstructing Proofs at the Assertion Level","booktitle":"Proceedings of CADE-94","year":"1994","series":"LNAI-814","pages":"738--752","publisher":"Springer","keywords":"#comparison,#use","mendeley-tags":"#comparison,#use","bibtex":"@INPROCEEDINGS{huang1994,\r\n author = {Huang, Xiaorong},\r\n title = {{Reconstructing Proofs at the Assertion Level}},\r\n booktitle = {Proceedings of CADE-94},\r\n year = {1994},\r\n series = {LNAI-814},\r\n pages = {738--752},\r\n publisher = {Springer},\r\n keywords = {\\#comparison,\\#use},\r\n mendeley-tags = {\\#comparison,\\#use}\r\n}\r\n\r\n","author_short":["Huang, X."],"key":"huang1994","id":"huang1994","bibbaseid":"huang-reconstructingproofsattheassertionlevel-1994","role":"author","urls":{},"keyword":["#comparison","#use"],"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://delicias.dia.fi.upm.es/prov-xgCURATED.bib","downloads":0,"keywords":["#comparison","#use"],"search_terms":["reconstructing","proofs","assertion","level","huang"],"title":"Reconstructing Proofs at the Assertion Level","title_words":["reconstructing","proofs","assertion","level"],"year":1994,"dataSources":["drTBSwRdnSo2Wujnd"]}