%0 Conference Paper %1 conf/icms/GinevIJKKOSSTW16 %A Ginev, Deyan %A Iancu, Mihnea %A Jucovschi, Constantin %A Kohlhase, Andrea %A Kohlhase, Michael %A Oripov, Akbar %A Schefter, Jürgen %A Sperber, Wolfram %A Teschke, Olaf %A Wiesing, Tom %B ICMS %D 2016 %E Greuel, Gert-Martin %E Koch, Thorsten %E Paule, Peter %E Sommese, Andrew J. %I Springer %K %P 451-457 %T The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics. %U http://dblp.uni-trier.de/db/conf/icms/icms2016.html#GinevIJKKOSSTW16 %V 9725 %@ 978-3-319-42431-6

@inproceedings{conf/icms/GinevIJKKOSSTW16, added-at = {2023-12-12T21:07:09.000+0100}, author = {Ginev, Deyan and Iancu, Mihnea and Jucovschi, Constantin and Kohlhase, Andrea and Kohlhase, Michael and Oripov, Akbar and Schefter, Jürgen and Sperber, Wolfram and Teschke, Olaf and Wiesing, Tom}, biburl = {https://www.bibsonomy.org/bibtex/25523ffbd7cbff26b855e2a3eb3253415/admin}, booktitle = {ICMS}, crossref = {conf/icms/2016}, editor = {Greuel, Gert-Martin and Koch, Thorsten and Paule, Peter and Sommese, Andrew J.}, ee = {https://www.wikidata.org/entity/Q57389304}, interhash = {3965eb5821233ee600ccd4fa14b24e6f}, intrahash = {5523ffbd7cbff26b855e2a3eb3253415}, isbn = {978-3-319-42431-6}, keywords = {}, pages = {451-457}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:07:09.000+0100}, title = {The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics.}, url = {http://dblp.uni-trier.de/db/conf/icms/icms2016.html#GinevIJKKOSSTW16}, volume = 9725, year = 2016 }