%0 Conference Paper %1 journals/corr/CowlesG15 %A Cowles, John R. %A Gamboa, Ruben %B ACL2 %D 2015 %E Kaufmann, Matt %E Rager, David L. %K dblp %P 53-59 %T Perfect Numbers in ACL2. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs192.html#CowlesG15 %V 192

@inproceedings{journals/corr/CowlesG15, added-at = {2018-09-12T00:00:00.000+0200}, author = {Cowles, John R. and Gamboa, Ruben}, biburl = {https://www.bibsonomy.org/bibtex/21f7c5f10deb551e04295f48fbd0a25d9/dblp}, booktitle = {ACL2}, crossref = {journals/corr/KaufmannR15}, editor = {Kaufmann, Matt and Rager, David L.}, ee = {http://arxiv.org/abs/1509.06081}, interhash = {bedf7222cde04b923061ff0eb0ef4246}, intrahash = {1f7c5f10deb551e04295f48fbd0a25d9}, keywords = {dblp}, pages = {53-59}, series = {EPTCS}, timestamp = {2018-09-13T11:40:00.000+0200}, title = {Perfect Numbers in ACL2.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs192.html#CowlesG15}, volume = 192, year = 2015 }