JOBAD/MMT – Interactive Mathematics. David, C.; Kohlhase, M.; Lange, C.; Rabe, F.; and Zholudev, V. In
JOBAD/MMT – Interactive Mathematics [link]Paper  bibtex   
@inproceedings{Davida,
title = {JOBAD/MMT -- Interactive Mathematics},
author = {Catalin David and Michael Kohlhase and Christoph Lange and Florian Rabe and Vyacheslav Zholudev},
url = {http://sites.google.com/a/fh-hannover.de/aimashup/home/jobad},
crossref = {AIMashup10},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Downloads: 0