{"_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://dblp.uni-trier.de/pers/tb1/f/Frede:Christiane.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christiane"],"propositions":[],"lastnames":["Frede"],"suffixes":[]}],"editor":[{"firstnames":["Josh"],"propositions":[],"lastnames":["Tenenberg"],"suffixes":[]},{"firstnames":["Donald"],"propositions":[],"lastnames":["Chinn"],"suffixes":[]},{"firstnames":["Judy"],"propositions":[],"lastnames":["Sheard"],"suffixes":[]},{"firstnames":["Lauri"],"propositions":[],"lastnames":["Malmi"],"suffixes":[]}],"title":"Using Mediational Means during Learning and Understanding of Proof Assignments from Theory of Computation","booktitle":"Proceedings of the 2017 ACM Conference on International Computing Education Research, ICER 2017, Tacoma, WA, USA, August 18-20, 2017","pages":"277–278","publisher":"ACM","year":"2017","url":"https://doi.org/10.1145/3105726.3105734","doi":"10.1145/3105726.3105734","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/icer/Frede17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icer/Frede17,\n author = {Christiane Frede},\n editor = {Josh Tenenberg and\n Donald Chinn and\n Judy Sheard and\n Lauri Malmi},\n title = {Using Mediational Means during Learning and Understanding of Proof\n Assignments from Theory of Computation},\n booktitle = {Proceedings of the 2017 {ACM} Conference on International Computing\n Education Research, {ICER} 2017, Tacoma, WA, USA, August 18-20, 2017},\n pages = {277--278},\n publisher = {{ACM}},\n year = {2017},\n url = {https://doi.org/10.1145/3105726.3105734},\n doi = {10.1145/3105726.3105734},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/icer/Frede17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\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"]}