%0 Conference Paper %1 conf/tphol/HuntKKMS05 %A Jr., Warren A. Hunt %A Kaufmann, Matt %A Krug, Robert Bellarmine %A Moore, J Strother %A Smith, Eric Whitman %B TPHOLs %D 2005 %E Hurd, Joe %E Melham, Thomas F. %I Springer %K dblp %P 163-178 %T Meta Reasoning in ACL2. %U http://dblp.uni-trier.de/db/conf/tphol/tphol2005.html#HuntKKMS05 %V 3603 %@ 3-540-28372-2

@inproceedings{conf/tphol/HuntKKMS05, added-at = {2018-06-27T00:00:00.000+0200}, author = {Jr., Warren A. Hunt and Kaufmann, Matt and Krug, Robert Bellarmine and Moore, J Strother and Smith, Eric Whitman}, biburl = {https://www.bibsonomy.org/bibtex/255f192ae8bf2dc42ad4041aeb7bce80a/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/2005}, editor = {Hurd, Joe and Melham, Thomas F.}, ee = {https://doi.org/10.1007/11541868_11}, interhash = {4335b37dc73cfc344482bbaf09a50040}, intrahash = {55f192ae8bf2dc42ad4041aeb7bce80a}, isbn = {3-540-28372-2}, keywords = {dblp}, pages = {163-178}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:26:35.000+0200}, title = {Meta Reasoning in ACL2.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2005.html#HuntKKMS05}, volume = 3603, year = 2005 }