Theorem Proving in Higher Order Logics
Author | : Victor A. Carreño |
Publisher | : |
Total Pages | : 200 |
Release | : 2002 |
ISBN-10 | : NASA:31769000474430 |
ISBN-13 | : |
Rating | : 4/5 ( Downloads) |
Book Synopsis Theorem Proving in Higher Order Logics by : Victor A. Carreño
Download or read book Theorem Proving in Higher Order Logics written by Victor A. Carreño and published by . This book was released on 2002 with total page 200 pages. Available in PDF, EPUB and Kindle. Book excerpt: