%0 Conference Paper %1 conf/icms/IancuKP14 %A Iancu, Mihnea %A Kohlhase, Michael %A Prodescu, Corneliu-Claudiu %B ICMS %D 2014 %E Hong, Hoon %E Yap, Chee %I Springer %K dblp %P 26-30 %T Representing, Archiving, and Searching the Space of Mathematical Knowledge. %U http://dblp.uni-trier.de/db/conf/icms/icms2014.html#IancuKP14 %V 8592 %@ 978-3-662-44198-5

@inproceedings{conf/icms/IancuKP14, added-at = {2018-11-14T00:00:00.000+0100}, author = {Iancu, Mihnea and Kohlhase, Michael and Prodescu, Corneliu-Claudiu}, biburl = {https://www.bibsonomy.org/bibtex/280d07d695ca0f413f85bd09e0fda6642/dblp}, booktitle = {ICMS}, crossref = {conf/icms/2014}, editor = {Hong, Hoon and Yap, Chee}, ee = {https://www.wikidata.org/entity/Q57389329}, interhash = {8edacfd7b57a967227213a18230090e3}, intrahash = {80d07d695ca0f413f85bd09e0fda6642}, isbn = {978-3-662-44198-5}, keywords = {dblp}, pages = {26-30}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:47:40.000+0200}, title = {Representing, Archiving, and Searching the Space of Mathematical Knowledge.}, url = {http://dblp.uni-trier.de/db/conf/icms/icms2014.html#IancuKP14}, volume = 8592, year = 2014 }