Inproceedings,
Meta Reasoning in ACL2.
W. Jr., M. Kaufmann, R. Krug, J. Moore, and E. Smith.TPHOLs, volume 3603 of Lecture Notes in Computer Science, page 163-178. Springer, (2005)
Meta data
- BibTeX key
- conf/tphol/HuntKKMS05
- entry type
- inproceedings
- booktitle
- TPHOLs
- year
- 2005
- pages
- 163-178
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 3603
- crossref
- conf/tphol/2005
- ee
- https://doi.org/10.1007/11541868_11
- isbn
- 3-540-28372-2
- url
- http://dblp.uni-trier.de/db/conf/tphol/tphol2005.html#HuntKKMS05
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}