@book{Course43,
  keywords =	 {teaching,lecture course},
  Author =	 {Christoph Benzm{\"u}ller},
  Publisher =	 {2nd CLE Colloquium for Philosophy and History of Formal Sciences (CLE4Science), University of Campinas, Brasil},
  Title =	 {{(Invited Tutorial)} Universal Logical Reasoning via Semantical Embeddings in HOL},
  annote =       {<a href="http://christoph-benzmueller.de/papers/2017-Campinas-Tutorial.zip">zip-file</a>},
  Year =	 2017
}

{"_id":"hrZ9KuKgJDm4StZXE","bibbaseid":"benzmller-invitedtutorialuniversallogicalreasoningviasemanticalembeddingsinhol-2017","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"book","type":"book","keywords":"teaching,lecture course","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"publisher":"2nd CLE Colloquium for Philosophy and History of Formal Sciences (CLE4Science), University of Campinas, Brasil","title":"(Invited Tutorial) Universal Logical Reasoning via Semantical Embeddings in HOL","annote":"<a href=\"http://christoph-benzmueller.de/papers/2017-Campinas-Tutorial.zip\">zip-file</a>","year":"2017","bibtex":"@book{Course43,\n keywords =\t {teaching,lecture course},\n Author =\t {Christoph Benzm{\\\"u}ller},\n Publisher =\t {2nd CLE Colloquium for Philosophy and History of Formal Sciences (CLE4Science), University of Campinas, Brasil},\n Title =\t {{(Invited Tutorial)} Universal Logical Reasoning via Semantical Embeddings in HOL},\n annote = {<a href=\"http://christoph-benzmueller.de/papers/2017-Campinas-Tutorial.zip\">zip-file</a>},\n Year =\t 2017\n}\n\n","author_short":["Benzmüller, C."],"key":"Course43","id":"Course43","bibbaseid":"benzmller-invitedtutorialuniversallogicalreasoningviasemanticalembeddingsinhol-2017","role":"author","urls":{},"keyword":["teaching","lecture course"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"book","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/teaching.bib","dataSources":["xAY8GPbjmJsqN99Q8"],"keywords":["teaching","lecture course"],"search_terms":["invited","tutorial","universal","logical","reasoning","via","semantical","embeddings","hol","benzmüller"],"title":"(Invited Tutorial) Universal Logical Reasoning via Semantical Embeddings in HOL","year":2017}