%0 Conference Paper %1 conf/mkm/Cruz-FilipeGW04 %A Cruz-Filipe, Luís %A Geuvers, Herman %A Wiedijk, Freek %B MKM %D 2004 %E Asperti, Andrea %E Bancerek, Grzegorz %E Trybulec, Andrzej %I Springer %K dblp %P 88-103 %T C-CoRN, the Constructive Coq Repository at Nijmegen. %U http://dblp.uni-trier.de/db/conf/mkm/mkm2004.html#Cruz-FilipeGW04 %V 3119 %@ 3-540-23029-7

@inproceedings{conf/mkm/Cruz-FilipeGW04, added-at = {2018-11-02T00:00:00.000+0100}, author = {Cruz-Filipe, Luís and Geuvers, Herman and Wiedijk, Freek}, biburl = {https://www.bibsonomy.org/bibtex/20ad76c75d976f430c6645eda2a83dd25/dblp}, booktitle = {MKM}, crossref = {conf/mkm/2004}, editor = {Asperti, Andrea and Bancerek, Grzegorz and Trybulec, Andrzej}, ee = {https://doi.org/10.1007/978-3-540-27818-4_7}, interhash = {a93ee02eebb43f5bc1b24eb6aacc18dc}, intrahash = {0ad76c75d976f430c6645eda2a83dd25}, isbn = {3-540-23029-7}, keywords = {dblp}, pages = {88-103}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:18:10.000+0200}, title = {C-CoRN, the Constructive Coq Repository at Nijmegen.}, url = {http://dblp.uni-trier.de/db/conf/mkm/mkm2004.html#Cruz-FilipeGW04}, volume = 3119, year = 2004 }