%0 Conference Paper %1 conf/mkm/HorozalRK14 %A Horozal, Feryal 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 dblp %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 = {2021-10-05T00:00:00.000+0200}, author = {Horozal, Feryal Fulya and Rabe, Florian and Kohlhase, Michael}, biburl = {https://www.bibsonomy.org/bibtex/20011b9e6ac24e89e8a8579b306e5d8bc/dblp}, 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 = {0011b9e6ac24e89e8a8579b306e5d8bc}, isbn = {978-3-319-08433-6}, keywords = {dblp}, pages = {312-327}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:44:34.000+0200}, title = {Flexary Operators for Formalized Mathematics.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2014.html#HorozalRK14}, volume = 8543, year = 2014 }