@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}
}

{"_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"]}