Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications
Download or Read eBook Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications PDF written by and published by Lulu.com. This book was released on 2006 with total page 150 pages. Available in PDF, EPUB and Kindle.
| Author | : |
| Publisher | : Lulu.com |
| Total Pages | : 150 |
| Release | : 2006 |
| ISBN-10 | : 9780978849306 |
| ISBN-13 | : 0978849302 |
| Rating | : 4/5 (06 Downloads) |
Book Synopsis Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications by :
Book excerpt:
