%0 Conference Paper %1 conf/tphol/GonthierMRTT07 %A Gonthier, Georges %A Mahboubi, Assia %A Rideau, Laurence %A Tassi, Enrico %A Théry, Laurent %B TPHOLs %D 2007 %E Schneider, Klaus %E Brandt, Jens %I Springer %K dblp %P 86-101 %T A Modular Formalisation of Finite Group Theory. %U http://dblp.uni-trier.de/db/conf/tphol/tphol2007.html#GonthierMRTT07 %V 4732 %@ 978-3-540-74590-7

@inproceedings{conf/tphol/GonthierMRTT07, added-at = {2017-05-23T00:00:00.000+0200}, author = {Gonthier, Georges and Mahboubi, Assia and Rideau, Laurence and Tassi, Enrico and Théry, Laurent}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2448831f042fb4f9b4b586cd00a24aa3b/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/2007}, editor = {Schneider, Klaus and Brandt, Jens}, ee = {https://doi.org/10.1007/978-3-540-74591-4_8}, interhash = {707e13fd2104d30445a7be3bcf37b275}, intrahash = {448831f042fb4f9b4b586cd00a24aa3b}, isbn = {978-3-540-74590-7}, keywords = {dblp}, pages = {86-101}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:18:54.000+0200}, title = {A Modular Formalisation of Finite Group Theory.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2007.html#GonthierMRTT07}, volume = 4732, year = 2007 }