%0 Conference Paper %1 conf/mkm/KohlhaseMR13 %A Kohlhase, Michael %A Mance, Felix %A Rabe, Florian %B MKM/Calculemus/DML %D 2013 %E Carette, Jacques %E Aspinall, David %E Lange, Christoph %E Sojka, Petr %E Windsteiger, Wolfgang %I Springer %K %P 82-97 %T A Universal Machine for Biform Theory Graphs. %U http://dblp.uni-trier.de/db/conf/mkm/mkm2013.html#KohlhaseMR13 %V 7961 %@ 978-3-642-39319-8

@inproceedings{conf/mkm/KohlhaseMR13, added-at = {2023-12-14T14:54:56.000+0100}, author = {Kohlhase, Michael and Mance, Felix and Rabe, Florian}, biburl = {https://www.bibsonomy.org/bibtex/2b90cb95ed4576b073b72c8f691ffda5b/admin}, booktitle = {MKM/Calculemus/DML}, crossref = {conf/mkm/2013}, editor = {Carette, Jacques and Aspinall, David and Lange, Christoph and Sojka, Petr and Windsteiger, Wolfgang}, ee = {https://www.wikidata.org/entity/Q57389343}, interhash = {e4cc6abf3aba69220b59e0b857c4b4d6}, intrahash = {b90cb95ed4576b073b72c8f691ffda5b}, isbn = {978-3-642-39319-8}, keywords = {}, pages = {82-97}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T14:54:56.000+0100}, title = {A Universal Machine for Biform Theory Graphs.}, url = {http://dblp.uni-trier.de/db/conf/mkm/mkm2013.html#KohlhaseMR13}, volume = 7961, year = 2013 }