@book{Talk218,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {February},
	Keywords = {presentation, invited presentations},
	Optnote = {<a href="http://christoph-benzmueller.de/papers/2015-RW-Tutorial.pdf">slides</a>},
	Publisher = {Berkeley-Stanford Circle in Logic and Philosophy, San Francisco, USA},
	Title = {{(Invited Tutorial)} A Universal Logic Theorem Proving Approach},
	Year = 2016}

{"_id":"cgu9acZ5LideumDnN","bibbaseid":"anonymous-invitedtutorialauniversallogictheoremprovingapproach-2016","bibdata":{"bibtype":"book","type":"book","optauthor":"Christoph Benzmüller","note":"February","keywords":"presentation, invited presentations","optnote":"<a href=\"http://christoph-benzmueller.de/papers/2015-RW-Tutorial.pdf\">slides</a>","publisher":"Berkeley-Stanford Circle in Logic and Philosophy, San Francisco, USA","title":"(Invited Tutorial) A Universal Logic Theorem Proving Approach","year":"2016","bibtex":"@book{Talk218,\n\tOPTAuthor = {Christoph Benzm{\\\"u}ller},\n\tNote = {February},\n\tKeywords = {presentation, invited presentations},\n\tOptnote = {<a href=\"http://christoph-benzmueller.de/papers/2015-RW-Tutorial.pdf\">slides</a>},\n\tPublisher = {Berkeley-Stanford Circle in Logic and Philosophy, San Francisco, USA},\n\tTitle = {{(Invited Tutorial)} A Universal Logic Theorem Proving Approach},\n\tYear = 2016}\n\n","key":"Talk218","id":"Talk218","bibbaseid":"anonymous-invitedtutorialauniversallogictheoremprovingapproach-2016","role":"","urls":{},"keyword":["presentation","invited presentations"],"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/talks.bib","dataSources":["WsTqYPsrMFQRGk3Ku"],"keywords":["presentation","invited presentations"],"search_terms":["invited","tutorial","universal","logic","theorem","proving","approach"],"title":"(Invited Tutorial) A Universal Logic Theorem Proving Approach","year":2016}