%0 Conference Paper %1 conf/mkm/MahnkeS05 %A Mahnke, Achim %A Scheffczyk, Jan %B MKM %D 2005 %E Kohlhase, Michael %I Springer %K %P 250-266 %T Engineering Mathematical Knowledge. %U http://dblp.uni-trier.de/db/conf/mkm/mkm2005.html#MahnkeS05 %V 3863 %@ 3-540-31430-X

@inproceedings{conf/mkm/MahnkeS05, added-at = {2023-12-12T17:11:43.000+0100}, author = {Mahnke, Achim and Scheffczyk, Jan}, biburl = {https://www.bibsonomy.org/bibtex/28266d78ad1ef0358582d77eb66cfa80a/admin}, booktitle = {MKM}, crossref = {conf/mkm/2005}, editor = {Kohlhase, Michael}, ee = {https://doi.org/10.1007/11618027_17}, interhash = {001edc6934111d4090e1f2fe30e1877c}, intrahash = {8266d78ad1ef0358582d77eb66cfa80a}, isbn = {3-540-31430-X}, keywords = {}, pages = {250-266}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T17:11:43.000+0100}, title = {Engineering Mathematical Knowledge.}, url = {http://dblp.uni-trier.de/db/conf/mkm/mkm2005.html#MahnkeS05}, volume = 3863, year = 2005 }