@proceedings{DBLP:conf/uitp/2006,
  editor    = {Serge Autexier and
               Christoph Benzm{\"{u}}ller},
  title     = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers,
               UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {174},
  number    = {2},
  publisher = {Elsevier},
  year      = {2007},
  url       = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/2},
  timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/uitp/2006.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"oBozWQN7H4k67Yyz6","bibbaseid":"autexier-benzmller-proceedingsofthe7thworkshoponuserinterfacesfortheoremproversuitpfloc2006seattlewausaaugust212006-2007","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Serge"],"propositions":[],"lastnames":["Autexier"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"title":"Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006","series":"Electronic Notes in Theoretical Computer Science","volume":"174","number":"2","publisher":"Elsevier","year":"2007","url":"https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/2","timestamp":"Fri, 27 Jan 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/uitp/2006.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/uitp/2006,\n editor = {Serge Autexier and\n Christoph Benzm{\\\"{u}}ller},\n title = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers,\n UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006},\n series = {Electronic Notes in Theoretical Computer Science},\n volume = {174},\n number = {2},\n publisher = {Elsevier},\n year = {2007},\n url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/2},\n timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/uitp/2006.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Autexier, S.","Benzmüller, C."],"key":"DBLP:conf/uitp/2006","id":"DBLP:conf/uitp/2006","bibbaseid":"autexier-benzmller-proceedingsofthe7thworkshoponuserinterfacesfortheoremproversuitpfloc2006seattlewausaaugust212006-2007","role":"editor","urls":{"Paper":"https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/2"},"metadata":{"authorlinks":{}}},"bibtype":"proceedings","biburl":"https://dblp.org/pid/b/CBenzmueller.bib","dataSources":["TMLR8ZY4yQJ9bNyWt"],"keywords":[],"search_terms":["proceedings","7th","workshop","user","interfaces","theorem","provers","uitp","floc","2006","seattle","usa","august","2006"],"title":"Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006","year":2007}