WYSIWYG-Editor for Higher Order Logic (Projektseminar). Benzmüller, C. Freie Universität Berlin, 2017. Summer 2017, 2 SWSbibtex @book{Course45,
keywords = {teaching,seminar},
Author = {Christoph Benzm{\"u}ller},
Publisher = {Freie Universit{\"a}t Berlin},
Title = {WYSIWYG-Editor for Higher Order Logic (Projektseminar)},
Note = {Summer 2017, 2 SWS},
annote = {<a href="https://mycampus.imp.fu-berlin.de/portal/site/c8964c4f-ce8c-42f6-8fea-c67adc2f56ad" target="_blank">mycampus</a>},
Year = 2017,
}
Downloads: 0
{"_id":"myzAMYnQER9wJPZrn","bibbaseid":"benzmller-wysiwygeditorforhigherorderlogicprojektseminar-2017","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"book","type":"book","keywords":"teaching,seminar","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"publisher":"Freie Universität Berlin","title":"WYSIWYG-Editor for Higher Order Logic (Projektseminar)","note":"Summer 2017, 2 SWS","annote":"<a href=\"https://mycampus.imp.fu-berlin.de/portal/site/c8964c4f-ce8c-42f6-8fea-c67adc2f56ad\" target=\"_blank\">mycampus</a>","year":"2017","bibtex":"@book{Course45,\n keywords =\t {teaching,seminar},\n Author =\t {Christoph Benzm{\\\"u}ller},\n Publisher =\t {Freie Universit{\\\"a}t Berlin},\n Title =\t {WYSIWYG-Editor for Higher Order Logic (Projektseminar)},\n Note =\t {Summer 2017, 2 SWS},\n annote = {<a href=\"https://mycampus.imp.fu-berlin.de/portal/site/c8964c4f-ce8c-42f6-8fea-c67adc2f56ad\" target=\"_blank\">mycampus</a>},\n Year =\t 2017,\n}\n\n\n","author_short":["Benzmüller, C."],"key":"Course45","id":"Course45","bibbaseid":"benzmller-wysiwygeditorforhigherorderlogicprojektseminar-2017","role":"author","urls":{},"keyword":["teaching","seminar"],"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/teaching.bib","dataSources":["xAY8GPbjmJsqN99Q8"],"keywords":["teaching","seminar"],"search_terms":["wysiwyg","editor","higher","order","logic","projektseminar","benzmüller"],"title":"WYSIWYG-Editor for Higher Order Logic (Projektseminar)","year":2017}