%0 Conference Paper %1 conf/aisc/KohlhaseMR08 %A Kohlhase, Michael %A Müller, Christine %A Rabe, Florian %B AISC/MKM/Calculemus %D 2008 %E Autexier, Serge %E Campbell, John A. %E Rubio, Julio %E Sorge, Volker %E Suzuki, Masakazu %E Wiedijk, Freek %I Springer %K dblp %P 504-519 %T Notations for Living Mathematical Documents. %U http://dblp.uni-trier.de/db/conf/aisc/aisc2008.html#KohlhaseMR08 %V 5144 %@ 978-3-540-85109-7

@inproceedings{conf/aisc/KohlhaseMR08, added-at = {2020-11-20T00:00:00.000+0100}, author = {Kohlhase, Michael and Müller, Christine and Rabe, Florian}, biburl = {https://www.bibsonomy.org/bibtex/2e9485905458950e4162a98ca1b85faf8/dblp}, booktitle = {AISC/MKM/Calculemus}, crossref = {conf/aisc/2008}, editor = {Autexier, Serge and Campbell, John A. and Rubio, Julio and Sorge, Volker and Suzuki, Masakazu and Wiedijk, Freek}, ee = {https://www.wikidata.org/entity/Q57389420}, interhash = {1b19a5215ac93d6a80ab734577d83b05}, intrahash = {e9485905458950e4162a98ca1b85faf8}, isbn = {978-3-540-85109-7}, keywords = {dblp}, pages = {504-519}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:38:58.000+0200}, title = {Notations for Living Mathematical Documents.}, url = {http://dblp.uni-trier.de/db/conf/aisc/aisc2008.html#KohlhaseMR08}, volume = 5144, year = 2008 }