%0 Conference Paper %1 journals/corr/CowlesG14 %A Cowles, John R. %A Gamboa, Ruben %B ACL2 %D 2014 %E Verbeek, Freek %E Schmaltz, Julien %K dblp %P 89-100 %T Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs152.html#CowlesG14 %V 152

@inproceedings{journals/corr/CowlesG14, added-at = {2018-09-12T00:00:00.000+0200}, author = {Cowles, John R. and Gamboa, Ruben}, biburl = {https://www.bibsonomy.org/bibtex/2e00c5aa5f35b1afe762a04281f6d9202/dblp}, booktitle = {ACL2}, crossref = {journals/corr/VerbeekS14}, editor = {Verbeek, Freek and Schmaltz, Julien}, ee = {http://arxiv.org/abs/1406.1560}, interhash = {6666c34df9e35fe8735a526b687964de}, intrahash = {e00c5aa5f35b1afe762a04281f6d9202}, keywords = {dblp}, pages = {89-100}, series = {EPTCS}, timestamp = {2018-09-13T11:41:34.000+0200}, title = {Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs152.html#CowlesG14}, volume = 152, year = 2014 }