%0 Conference Paper %1 conf/tphol/Moore01 %A Moore, J Strother %B TPHOLs %D 2001 %E Boulton, Richard J. %E Jackson, Paul B. %I Springer %K dblp %P 313-328 %T Finite Set Theory in ACL2. %U http://dblp.uni-trier.de/db/conf/tphol/tphol2001.html#Moore01 %V 2152 %@ 3-540-42525-X

@inproceedings{conf/tphol/Moore01, added-at = {2018-06-27T00:00:00.000+0200}, author = {Moore, J Strother}, biburl = {https://www.bibsonomy.org/bibtex/21421e6eb5a0b203cdc050dd60090e9dd/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/2001}, editor = {Boulton, Richard J. and Jackson, Paul B.}, ee = {https://doi.org/10.1007/3-540-44755-5_22}, interhash = {c8c9d52b3096888db71108a0aa2eb94f}, intrahash = {1421e6eb5a0b203cdc050dd60090e9dd}, isbn = {3-540-42525-X}, keywords = {dblp}, pages = {313-328}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:26:27.000+0200}, title = {Finite Set Theory in ACL2.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2001.html#Moore01}, volume = 2152, year = 2001 }