%0 Conference Paper %1 conf/mkm/Pak15 %A Pak, Karol %B CICM %D 2015 %E Kerber, Manfred %E Carette, Jacques %E Kaliszyk, Cezary %E Rabe, Florian %E Sorge, Volker %I Springer %K dblp %P 211-226 %T Readable Formalization of Euler's Partition Theorem in Mizar. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2015.html#Pak15 %V 9150 %@ 978-3-319-20614-1

@inproceedings{conf/mkm/Pak15, added-at = {2018-11-02T00:00:00.000+0100}, author = {Pak, Karol}, biburl = {https://www.bibsonomy.org/bibtex/282ce67abc0379f3ae0a527f86560f971/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2015}, editor = {Kerber, Manfred and Carette, Jacques and Kaliszyk, Cezary and Rabe, Florian and Sorge, Volker}, ee = {https://doi.org/10.1007/978-3-319-20615-8_14}, interhash = {cbbdf93a66feecdd6a4e759a0ac7ab3e}, intrahash = {82ce67abc0379f3ae0a527f86560f971}, isbn = {978-3-319-20614-1}, keywords = {dblp}, pages = {211-226}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-21T11:36:35.000+0100}, title = {Readable Formalization of Euler's Partition Theorem in Mizar.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2015.html#Pak15}, volume = 9150, year = 2015 }