@book{Talk247,
	Keywords = {presentation, conference presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Aussois, France},
	Title = {Some Reflections on a Computer-aided Theory Exploration Study in Category Theory},
        Note = {<a href="http://christoph-benzmueller.de/papers/2018-AITP-Talk.pdf">slides</a>,
	           <a href="https://www.youtube.com/watch?v=Y6-iVbD7Jq4">video</a>},	
	Year = 2018,
}

{"_id":"q634ke2ZCHGFvj2PZ","bibbaseid":"anonymous-somereflectionsonacomputeraidedtheoryexplorationstudyincategorytheory-2018","bibdata":{"bibtype":"book","type":"book","keywords":"presentation, conference presentations","optauthor":"Christoph Benzmüller","publisher":"3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Aussois, France","title":"Some Reflections on a Computer-aided Theory Exploration Study in Category Theory","note":"<a href=\"http://christoph-benzmueller.de/papers/2018-AITP-Talk.pdf\">slides</a>, <a href=\"https://www.youtube.com/watch?v=Y6-iVbD7Jq4\">video</a>","year":"2018","bibtex":"@book{Talk247,\n\tKeywords = {presentation, conference presentations},\n\tOPTAuthor = {Christoph Benzm{\\\"u}ller},\n\tPublisher = {3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Aussois, France},\n\tTitle = {Some Reflections on a Computer-aided Theory Exploration Study in Category Theory},\n Note = {<a href=\"http://christoph-benzmueller.de/papers/2018-AITP-Talk.pdf\">slides</a>,\n\t <a href=\"https://www.youtube.com/watch?v=Y6-iVbD7Jq4\">video</a>},\t\n\tYear = 2018,\n}\n\n","key":"Talk247","id":"Talk247","bibbaseid":"anonymous-somereflectionsonacomputeraidedtheoryexplorationstudyincategorytheory-2018","role":"","urls":{},"keyword":["presentation","conference presentations"],"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/talks.bib","dataSources":["WsTqYPsrMFQRGk3Ku"],"keywords":["presentation","conference presentations"],"search_terms":["reflections","computer","aided","theory","exploration","study","category","theory"],"title":"Some Reflections on a Computer-aided Theory Exploration Study in Category Theory","year":2018}