@inproceedings{DBLP:conf/icer/KnobelsdorfFBK17,
	author = {Knobelsdorf, Maria and Frede, Christiane and B{\"{o}}hne, Sebastian and Kreitz, Christoph},
	bibsource = {dblp computer science bibliography, https://dblp.org},
	biburl = {https://dblp.org/rec/conf/icer/KnobelsdorfFBK17.bib},
	booktitle = {Proceedings of the 2017 {ACM} Conference on International Computing Education Research, {ICER} 2017, Tacoma, WA, USA, August 18-20, 2017},
	doi = {10.1145/3105726.3106184},
	editor = {Tenenberg, Josh and Chinn, Donald and Sheard, Judy and Malmi, Lauri},
	pages = {83--92},
	publisher = {{ACM}},
	timestamp = {Tue, 06 Nov 2018 11:06:32 +0100},
	title = {Theorem Provers as a Learning Tool in Theory of Computation},
	url = {https://doi.org/10.1145/3105726.3106184},
	year = {2017},
	bdsk-url-1 = {https://doi.org/10.1145/3105726.3106184}}

{"_id":"vfkhh3EzmwPXnf9rL","bibbaseid":"knobelsdorf-frede-bhne-kreitz-theoremproversasalearningtoolintheoryofcomputation-2017","downloads":0,"creationDate":"2018-07-07T20:03:01.655Z","title":"Theorem Provers as a Learning Tool in Theory of Computation","author_short":["Knobelsdorf, M.","Frede, C.","Böhne, S.","Kreitz, C."],"year":2017,"bibtype":"inproceedings","biburl":"https://git.informatik.uni-hamburg.de/tea/homepage-public/raw/master/publications/researchgroup.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Knobelsdorf"],"firstnames":["Maria"],"suffixes":[]},{"propositions":[],"lastnames":["Frede"],"firstnames":["Christiane"],"suffixes":[]},{"propositions":[],"lastnames":["Böhne"],"firstnames":["Sebastian"],"suffixes":[]},{"propositions":[],"lastnames":["Kreitz"],"firstnames":["Christoph"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/icer/KnobelsdorfFBK17.bib","booktitle":"Proceedings of the 2017 ACM Conference on International Computing Education Research, ICER 2017, Tacoma, WA, USA, August 18-20, 2017","doi":"10.1145/3105726.3106184","editor":[{"propositions":[],"lastnames":["Tenenberg"],"firstnames":["Josh"],"suffixes":[]},{"propositions":[],"lastnames":["Chinn"],"firstnames":["Donald"],"suffixes":[]},{"propositions":[],"lastnames":["Sheard"],"firstnames":["Judy"],"suffixes":[]},{"propositions":[],"lastnames":["Malmi"],"firstnames":["Lauri"],"suffixes":[]}],"pages":"83–92","publisher":"ACM","timestamp":"Tue, 06 Nov 2018 11:06:32 +0100","title":"Theorem Provers as a Learning Tool in Theory of Computation","url":"https://doi.org/10.1145/3105726.3106184","year":"2017","bdsk-url-1":"https://doi.org/10.1145/3105726.3106184","bibtex":"@inproceedings{DBLP:conf/icer/KnobelsdorfFBK17,\n\tauthor = {Knobelsdorf, Maria and Frede, Christiane and B{\\\"{o}}hne, Sebastian and Kreitz, Christoph},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icer/KnobelsdorfFBK17.bib},\n\tbooktitle = {Proceedings of the 2017 {ACM} Conference on International Computing Education Research, {ICER} 2017, Tacoma, WA, USA, August 18-20, 2017},\n\tdoi = {10.1145/3105726.3106184},\n\teditor = {Tenenberg, Josh and Chinn, Donald and Sheard, Judy and Malmi, Lauri},\n\tpages = {83--92},\n\tpublisher = {{ACM}},\n\ttimestamp = {Tue, 06 Nov 2018 11:06:32 +0100},\n\ttitle = {Theorem Provers as a Learning Tool in Theory of Computation},\n\turl = {https://doi.org/10.1145/3105726.3106184},\n\tyear = {2017},\n\tbdsk-url-1 = {https://doi.org/10.1145/3105726.3106184}}\n\n","author_short":["Knobelsdorf, M.","Frede, C.","Böhne, S.","Kreitz, C."],"editor_short":["Tenenberg, J.","Chinn, D.","Sheard, J.","Malmi, L."],"key":"DBLP:conf/icer/KnobelsdorfFBK17","id":"DBLP:conf/icer/KnobelsdorfFBK17","bibbaseid":"knobelsdorf-frede-bhne-kreitz-theoremproversasalearningtoolintheoryofcomputation-2017","role":"author","urls":{"Paper":"https://doi.org/10.1145/3105726.3106184"},"metadata":{"authorlinks":{"frede, c":"https://www.inf.uni-hamburg.de/en/inst/ab/tea/publications/frede.html"}},"downloads":0,"html":""},"search_terms":["theorem","provers","learning","tool","theory","computation","knobelsdorf","frede","böhne","kreitz"],"keywords":[],"authorIDs":["56c6166ddd338cfd2c0003ea","5b411c75c383f91000000092","5e25d2f6f299d4de01000283","5e37e2fae8908edf01000066","5e39e5583687dddf0100013d","5e4bcb0fa6b53fde010000b7","5e539fc8c02a31de0100013f","CWLM7hFJ7sP7MtuWi"],"dataSources":["uzWGqsuQnKsTZXjag","K9zCiKnngxa4RBWGy"]}