%0 Conference Paper %1 conf/mkm/IancuK15a %A Iancu, Mihnea %A Kohlhase, Michael %B CICM %D 2015 %E Kerber, Manfred %E Carette, Jacques %E Kaliszyk, Cezary %E Rabe, Florian %E Sorge, Volker %I Springer %K %P 187-202 %T Math Literate Knowledge Management via Induced Material. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2015.html#IancuK15a %V 9150 %@ 978-3-319-20614-1

@inproceedings{conf/mkm/IancuK15a, added-at = {2023-12-13T03:53:32.000+0100}, author = {Iancu, Mihnea and Kohlhase, Michael}, biburl = {https://www.bibsonomy.org/bibtex/293b6c98affb3204e15d8ffa6c0f638bf/admin}, booktitle = {CICM}, crossref = {conf/mkm/2015}, editor = {Kerber, Manfred and Carette, Jacques and Kaliszyk, Cezary and Rabe, Florian and Sorge, Volker}, ee = {https://www.wikidata.org/entity/Q57389314}, interhash = {8fdd11fe21786e431ce64a5829f078bb}, intrahash = {93b6c98affb3204e15d8ffa6c0f638bf}, isbn = {978-3-319-20614-1}, keywords = {}, pages = {187-202}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T03:53:32.000+0100}, title = {Math Literate Knowledge Management via Induced Material.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2015.html#IancuK15a}, volume = 9150, year = 2015 }