{"_id":"qycW6K3hWxLdoYkEu","bibbaseid":"frede-usingmediationalmeansduringlearningandunderstandingofproofassignmentsfromtheoryofcomputation-2017","downloads":0,"creationDate":"2018-07-07T20:03:01.657Z","title":"Using Mediational Means during Learning and Understanding of Proof Assignments from Theory of Computation","author_short":["Frede, 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":["Frede"],"firstnames":["Christiane"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/icer/Frede17.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.3105734","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":"277–278","publisher":"ACM","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","title":"Using Mediational Means during Learning and Understanding of Proof Assignments from Theory of Computation","url":"https://doi.org/10.1145/3105726.3105734","year":"2017","bdsk-url-1":"https://doi.org/10.1145/3105726.3105734","bibtex":"@inproceedings{DBLP:conf/icer/Frede17,\n\tauthor = {Frede, Christiane},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icer/Frede17.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.3105734},\n\teditor = {Tenenberg, Josh and Chinn, Donald and Sheard, Judy and Malmi, Lauri},\n\tpages = {277--278},\n\tpublisher = {{ACM}},\n\ttimestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n\ttitle = {Using Mediational Means during Learning and Understanding of Proof Assignments from Theory of Computation},\n\turl = {https://doi.org/10.1145/3105726.3105734},\n\tyear = {2017},\n\tbdsk-url-1 = {https://doi.org/10.1145/3105726.3105734}}\n\n","author_short":["Frede, C."],"editor_short":["Tenenberg, J.","Chinn, D.","Sheard, J.","Malmi, L."],"key":"DBLP:conf/icer/Frede17","id":"DBLP:conf/icer/Frede17","bibbaseid":"frede-usingmediationalmeansduringlearningandunderstandingofproofassignmentsfromtheoryofcomputation-2017","role":"author","urls":{"Paper":"https://doi.org/10.1145/3105726.3105734"},"metadata":{"authorlinks":{"frede, c":"https://www.inf.uni-hamburg.de/en/inst/ab/tea/publications/frede.html"}},"downloads":0,"html":""},"search_terms":["using","mediational","means","during","learning","understanding","proof","assignments","theory","computation","frede"],"keywords":[],"authorIDs":["56c6166ddd338cfd2c0003ea","5b411c75c383f91000000092","5e25d2f6f299d4de01000283","5e37e2fae8908edf01000066","5e39e5583687dddf0100013d","5e4bcb0fa6b53fde010000b7","5e539fc8c02a31de0100013f","CWLM7hFJ7sP7MtuWi"],"dataSources":["uzWGqsuQnKsTZXjag","K9zCiKnngxa4RBWGy"]}