Theorem Proving in Higher Order Logics
| Author | : |
| Publisher | : |
| Total Pages | : 364 |
| Release | : 2004 |
| ISBN-10 | : UOM:39015058888325 |
| ISBN-13 | : |
| Rating | : 4/5 ( Downloads) |
Book Synopsis Theorem Proving in Higher Order Logics by :
Download or read book Theorem Proving in Higher Order Logics written by and published by . This book was released on 2004 with total page 364 pages. Available in PDF, EPUB and Kindle. Book excerpt:
