%0 Conference Paper %1 conf/mkm/KaliszykP17 %A Kaliszyk, Cezary %A Pak, Karol %B CICM %D 2017 %E Geuvers, Herman %E England, Matthew %E Hasan, Osman %E Rabe, Florian %E Teschke, Olaf %I Springer %K dblp %P 193-207 %T Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2017.html#KaliszykP17 %V 10383 %@ 978-3-319-62075-6

@inproceedings{conf/mkm/KaliszykP17, added-at = {2022-03-16T00:00:00.000+0100}, author = {Kaliszyk, Cezary and Pak, Karol}, biburl = {https://www.bibsonomy.org/bibtex/2903bbc4e4b0fe5cb2d95187d3e5bd3d7/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2017}, editor = {Geuvers, Herman and England, Matthew and Hasan, Osman and Rabe, Florian and Teschke, Olaf}, ee = {https://www.wikidata.org/entity/Q108482130}, interhash = {0fc1a683b7eeb850f0693f65995f9eb3}, intrahash = {903bbc4e4b0fe5cb2d95187d3e5bd3d7}, isbn = {978-3-319-62075-6}, keywords = {dblp}, pages = {193-207}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:44:30.000+0200}, title = {Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2017.html#KaliszykP17}, volume = 10383, year = 2017 }