Expressive Logiken – Theorie, Mechanisierung, Anwendungen. Benzmüller, C. Freie Universität Berlin, 2015. Winter 2014/15, 2+2 SWS, 5 ECTSbibtex @Book{Course27,
keywords = {teaching,lecture course},
author = {Christoph Benzm{\"u}ller},
title = {Expressive Logiken -- Theorie, Mechanisierung, Anwendungen},
publisher = {Freie Universit{\"a}t Berlin},
year = {2015},
note = {Winter 2014/15, 2+2 SWS, 5 ECTS},
annote = {<a href="http://www.fu-berlin.de/vv/de/lv/200103?query=Benzmüller&sm=129212">kvv</a>; <a href="http://page.mi.fu-berlin.de/cbenzmueller/2014-EL/">webpage</a>},
}
Downloads: 0
{"_id":"y5nNQzGxYYwKdXBks","bibbaseid":"benzmller-expressivelogikentheoriemechanisierunganwendungen-2015","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"book","type":"book","keywords":"teaching,lecture course","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"title":"Expressive Logiken – Theorie, Mechanisierung, Anwendungen","publisher":"Freie Universität Berlin","year":"2015","note":"Winter 2014/15, 2+2 SWS, 5 ECTS","annote":"<a href=\"http://www.fu-berlin.de/vv/de/lv/200103?query=Benzmüller&sm=129212\">kvv</a>; <a href=\"http://page.mi.fu-berlin.de/cbenzmueller/2014-EL/\">webpage</a>","bibtex":"@Book{Course27,\n keywords =\t {teaching,lecture course},\n author =\t {Christoph Benzm{\\\"u}ller},\n title =\t {Expressive Logiken -- Theorie, Mechanisierung, Anwendungen},\n publisher =\t {Freie Universit{\\\"a}t Berlin},\n year =\t {2015},\n note =\t {Winter 2014/15, 2+2 SWS, 5 ECTS},\n annote = {<a href=\"http://www.fu-berlin.de/vv/de/lv/200103?query=Benzmüller&sm=129212\">kvv</a>; <a href=\"http://page.mi.fu-berlin.de/cbenzmueller/2014-EL/\">webpage</a>},\n}\n\n","author_short":["Benzmüller, C."],"key":"Course27","id":"Course27","bibbaseid":"benzmller-expressivelogikentheoriemechanisierunganwendungen-2015","role":"author","urls":{},"keyword":["teaching","lecture course"],"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/teaching.bib","dataSources":["xAY8GPbjmJsqN99Q8"],"keywords":["teaching","lecture course"],"search_terms":["expressive","logiken","theorie","mechanisierung","anwendungen","benzmüller"],"title":"Expressive Logiken – Theorie, Mechanisierung, Anwendungen","year":2015}