Search Results: ''

Search

×
×
×
×
2 results for ""
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications By Panagiotis Manolios, Matthew Wilding
eBook (PDF): $2.50
Download immediately.
These are the Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications. The ACL2 workshops provide the major technical forum for researchers to present and... More > discuss improvements and extensions to the theorem prover, comparisons of ACL2 with other systems, and applications of ACL2 in industry, government, and academia.< Less
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications By Panagiotis Manolios, Matthew Wilding
Paperback: $11.70
Ships in 3-5 business days
These are the Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications. The ACL2 workshops provide the major technical forum for researchers to present and... More > discuss improvements and extensions to the theorem prover, comparisons of ACL2 with other systems, and applications of ACL2 in industry, government, and academia.< Less