%0 Conference Paper %1 conf/ACMse/HallstromHKS12 %A Hallstrom, Jason O. %A Hollingsworth, Joe %A Krone, Joan %A Sitaraman, Murali %B ACM Southeast Regional Conference %D 2012 %E Smith, Randy K. %E Vrbsky, Susan V. %I ACM %K dblp %P 403-404 %T Making mathematical reasoning fun: tool-assisted, collaborative techniques. %U http://dblp.uni-trier.de/db/conf/ACMse/ACMse2012.html#HallstromHKS12 %@ 978-1-4503-1203-5

@inproceedings{conf/ACMse/HallstromHKS12, added-at = {2018-11-06T00:00:00.000+0100}, author = {Hallstrom, Jason O. and Hollingsworth, Joe and Krone, Joan and Sitaraman, Murali}, biburl = {https://www.bibsonomy.org/bibtex/2ab20351ddeb0d0019d1576282e77d328/dblp}, booktitle = {ACM Southeast Regional Conference}, crossref = {conf/ACMse/2012}, editor = {Smith, Randy K. and Vrbsky, Susan V.}, ee = {https://doi.org/10.1145/2184512.2184627}, interhash = {be6d7d1f34b6364ea60cdadfdc613fc1}, intrahash = {ab20351ddeb0d0019d1576282e77d328}, isbn = {978-1-4503-1203-5}, keywords = {dblp}, pages = {403-404}, publisher = {ACM}, timestamp = {2024-04-09T14:12:23.000+0200}, title = {Making mathematical reasoning fun: tool-assisted, collaborative techniques.}, url = {http://dblp.uni-trier.de/db/conf/ACMse/ACMse2012.html#HallstromHKS12}, year = 2012 }