%0 Conference Paper %1 conf/charme/HuntKM03 %A Jr., Warren A. Hunt %A Krug, Robert Bellarmine %A Moore, J Strother %B CHARME %D 2003 %E Geist, Daniel %E Tronci, Enrico %I Springer %K dblp %P 319-333 %T Linear and Nonlinear Arithmetic in ACL2. %U http://dblp.uni-trier.de/db/conf/charme/charme2003.html#HuntKM03 %V 2860 %@ 3-540-20363-X

@inproceedings{conf/charme/HuntKM03, added-at = {2018-06-27T00:00:00.000+0200}, author = {Jr., Warren A. Hunt and Krug, Robert Bellarmine and Moore, J Strother}, biburl = {https://www.bibsonomy.org/bibtex/2e4a47de4f5592397263da5257882c7bc/dblp}, booktitle = {CHARME}, crossref = {conf/charme/2003}, editor = {Geist, Daniel and Tronci, Enrico}, ee = {https://doi.org/10.1007/978-3-540-39724-3_29}, interhash = {614030ae680c203f3cc44432369262a1}, intrahash = {e4a47de4f5592397263da5257882c7bc}, isbn = {3-540-20363-X}, keywords = {dblp}, pages = {319-333}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:10:43.000+0200}, title = {Linear and Nonlinear Arithmetic in ACL2.}, url = {http://dblp.uni-trier.de/db/conf/charme/charme2003.html#HuntKM03}, volume = 2860, year = 2003 }