Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Klein, G. & Gamboa, R., editors Volume 8558of Lecture Notes in Computer ScienceSpringer. 2014.
Paper doi bibtex @proceedings{DBLP:conf/itp/2014,
editor = {Gerwin Klein and
Ruben Gamboa},
title = {Interactive Theorem Proving - 5th International Conference, {ITP}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8558},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08970-6},
doi = {10.1007/978-3-319-08970-6},
isbn = {978-3-319-08969-0},
timestamp = {Sun, 21 May 2017 00:18:59 +0200},
biburl = {https://dblp.org/rec/bib/conf/itp/2014},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"YnxHcEaNSEWww6diJ","bibbaseid":"klein-gamboa-interactivetheoremproving5thinternationalconferenceitp2014heldaspartoftheviennasummeroflogicvsl2014viennaaustriajuly14172014proceedings-2014","downloads":0,"creationDate":"2016-06-21T10:07:36.509Z","title":"Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings","author_short":null,"year":2014,"bibtype":"proceedings","biburl":"https://dblp.uni-trier.de/pers/tb2/b/Blazy:Sandrine.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Gerwin"],"propositions":[],"lastnames":["Klein"],"suffixes":[]},{"firstnames":["Ruben"],"propositions":[],"lastnames":["Gamboa"],"suffixes":[]}],"title":"Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings","series":"Lecture Notes in Computer Science","volume":"8558","publisher":"Springer","year":"2014","url":"https://doi.org/10.1007/978-3-319-08970-6","doi":"10.1007/978-3-319-08970-6","isbn":"978-3-319-08969-0","timestamp":"Sun, 21 May 2017 00:18:59 +0200","biburl":"https://dblp.org/rec/bib/conf/itp/2014","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/itp/2014,\n editor = {Gerwin Klein and\n Ruben Gamboa},\n title = {Interactive Theorem Proving - 5th International Conference, {ITP}\n 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,\n Austria, July 14-17, 2014. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {8558},\n publisher = {Springer},\n year = {2014},\n url = {https://doi.org/10.1007/978-3-319-08970-6},\n doi = {10.1007/978-3-319-08970-6},\n isbn = {978-3-319-08969-0},\n timestamp = {Sun, 21 May 2017 00:18:59 +0200},\n biburl = {https://dblp.org/rec/bib/conf/itp/2014},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Klein, G.","Gamboa, R."],"key":"DBLP:conf/itp/2014","id":"DBLP:conf/itp/2014","bibbaseid":"klein-gamboa-interactivetheoremproving5thinternationalconferenceitp2014heldaspartoftheviennasummeroflogicvsl2014viennaaustriajuly14172014proceedings-2014","role":"editor","urls":{"Paper":"https://doi.org/10.1007/978-3-319-08970-6"},"downloads":0,"html":""},"search_terms":["interactive","theorem","proving","5th","international","conference","itp","2014","held","part","vienna","summer","logic","vsl","2014","vienna","austria","july","2014","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["dFq2BpHTjvGdGdpXC"]}