%0 Conference Paper %1 conf/mkm/IancuK15 %A Iancu, Mihnea %A Kohlhase, Michael %B CICM %D 2015 %E Kerber, Manfred %E Carette, Jacques %E Kaliszyk, Cezary %E Rabe, Florian %E Sorge, Volker %I Springer %K %P 137-152 %T A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2015.html#IancuK15 %V 9150 %@ 978-3-319-20614-1

@inproceedings{conf/mkm/IancuK15, added-at = {2023-12-14T15:54:53.000+0100}, author = {Iancu, Mihnea and Kohlhase, Michael}, biburl = {https://www.bibsonomy.org/bibtex/27f395df2b0551d0fcd1ec54f928d058e/admin}, booktitle = {CICM}, crossref = {conf/mkm/2015}, editor = {Kerber, Manfred and Carette, Jacques and Kaliszyk, Cezary and Rabe, Florian and Sorge, Volker}, ee = {https://www.wikidata.org/entity/Q57389309}, interhash = {f1200f928dd75c459a45ca4ab9d75d59}, intrahash = {7f395df2b0551d0fcd1ec54f928d058e}, isbn = {978-3-319-20614-1}, keywords = {}, pages = {137-152}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T15:54:53.000+0100}, title = {A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2015.html#IancuK15}, volume = 9150, year = 2015 }