@book{Course44,
  keywords =	 {teaching,lecture course},
  Author =	 {Christoph Benzm{\"u}ller},
  Publisher =	 {Pontif{\'i}cia Universidade Cat{\'o}lica do Rio Grande do Sul (PUCRS), Porto Alegre, Brasil},
  Title =	 {{(Invited Tutorial)} Automated Reasoning in Higher-order and Non-classical Logics},
  annote =       {<a href="http://christoph-benzmueller.de/papers/2017-PUCRS-Tutorial.zip">zip-file</a>},
  Year =	 2017
}

{"_id":"nqDJc5Gqim8ZwJjkx","bibbaseid":"benzmller-invitedtutorialautomatedreasoninginhigherorderandnonclassicallogics-2017","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"book","type":"book","keywords":"teaching,lecture course","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"publisher":"Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS), Porto Alegre, Brasil","title":"(Invited Tutorial) Automated Reasoning in Higher-order and Non-classical Logics","annote":"<a href=\"http://christoph-benzmueller.de/papers/2017-PUCRS-Tutorial.zip\">zip-file</a>","year":"2017","bibtex":"@book{Course44,\n keywords =\t {teaching,lecture course},\n Author =\t {Christoph Benzm{\\\"u}ller},\n Publisher =\t {Pontif{\\'i}cia Universidade Cat{\\'o}lica do Rio Grande do Sul (PUCRS), Porto Alegre, Brasil},\n Title =\t {{(Invited Tutorial)} Automated Reasoning in Higher-order and Non-classical Logics},\n annote = {<a href=\"http://christoph-benzmueller.de/papers/2017-PUCRS-Tutorial.zip\">zip-file</a>},\n Year =\t 2017\n}\n\n","author_short":["Benzmüller, C."],"key":"Course44","id":"Course44","bibbaseid":"benzmller-invitedtutorialautomatedreasoninginhigherorderandnonclassicallogics-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","automated","reasoning","higher","order","non","classical","logics","benzmüller"],"title":"(Invited Tutorial) Automated Reasoning in Higher-order and Non-classical Logics","year":2017}