%0 Conference Paper %1 conf/mkm/HorozalRK14 %A Horozal, Fulya %A Rabe, Florian %A Kohlhase, Michael %B CICM %D 2014 %E Watt, Stephen M. %E Davenport, James H. %E Sexton, Alan P. %E Sojka, Petr %E Urban, Josef %I Springer %K %P 312-327 %T Flexary Operators for Formalized Mathematics. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2014.html#HorozalRK14 %V 8543 %@ 978-3-319-08433-6

@inproceedings{conf/mkm/HorozalRK14, added-at = {2023-12-13T03:13:30.000+0100}, author = {Horozal, Fulya and Rabe, Florian and Kohlhase, Michael}, biburl = {https://www.bibsonomy.org/bibtex/28ecdecb70c2ecec7c5480a7dbb5b28a0/admin}, booktitle = {CICM}, crossref = {conf/mkm/2014}, editor = {Watt, Stephen M. and Davenport, James H. and Sexton, Alan P. and Sojka, Petr and Urban, Josef}, ee = {https://www.wikidata.org/entity/Q57389322}, interhash = {88d8f87573fe0571579f3e1424c1daf6}, intrahash = {8ecdecb70c2ecec7c5480a7dbb5b28a0}, isbn = {978-3-319-08433-6}, keywords = {}, pages = {312-327}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T03:13:30.000+0100}, title = {Flexary Operators for Formalized Mathematics.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2014.html#HorozalRK14}, volume = 8543, year = 2014 }