Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics PDF book is popular Computers book written by Jim Grundy. The book was released by Springer Science & Business Media on 1998-09-09 with total hardcover pages 516. Fast download link is given in this page, you could read Theorem Proving in Higher Order Logics by Jim Grundy in PDF, epub and kindle directly from your devices.
Theorem Proving in Higher Order Logics
-
Theorem Proving in Higher Order Logics Book Detail
- Author : Jim Grundy
- Release Date : 1998-09-09
- Publisher : Springer Science & Business Media
- Genre : Computers
- Pages : 516
- ISBN 13 : 9783540649878
- File Size : 40,40 MB