Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications
| 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 :
Download or read book Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications written by and published by Lulu.com. This book was released on 2006 with total page 150 pages. Available in PDF, EPUB and Kindle. Book excerpt:
