%0 Conference Paper %1 conf/mkm/Kohlhase14c %A Kohlhase, Michael %B CICM Workshops %D 2014 %E England, Matthew %E Davenport, James H. %E Kohlhase, Andrea %E Kohlhase, Michael %E Libbrecht, Paul %E Neuper, Walther %E Quaresma, Pedro %E Sexton, Alan P. %E Sojka, Petr %E Urban, Josef %E Watt, Stephen M. %I CEUR-WS.org %K dblp %T Extension Proposal: Records in Pragmatic OpenMath. %U http://dblp.uni-trier.de/db/conf/mkm/cicmws2014.html#Kohlhase14c %V 1186

@inproceedings{conf/mkm/Kohlhase14c, added-at = {2023-03-10T00:00:00.000+0100}, author = {Kohlhase, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2bfbf5732b0df9d6ac2c0938f6a2ae2c4/dblp}, booktitle = {CICM Workshops}, crossref = {conf/mkm/2014ws}, editor = {England, Matthew and Davenport, James H. and Kohlhase, Andrea and Kohlhase, Michael and Libbrecht, Paul and Neuper, Walther and Quaresma, Pedro and Sexton, Alan P. and Sojka, Petr and Urban, Josef and Watt, Stephen M.}, ee = {https://ceur-ws.org/Vol-1186/paper-13.pdf}, interhash = {9153ef1e47925724c25c191fae356422}, intrahash = {bfbf5732b0df9d6ac2c0938f6a2ae2c4}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T02:44:38.000+0200}, title = {Extension Proposal: Records in Pragmatic OpenMath.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicmws2014.html#Kohlhase14c}, volume = 1186, year = 2014 }