Higher Order Logic Theorem Proving and Its Applications
Higher Order Logic Theorem Proving and Its Applications PDF book is popular Computers book written by Jeffrey J. Joyce. The book was released by Springer Science & Business Media on 1994-04-28 with total hardcover pages 538. Fast download link is given in this page, you could read Higher Order Logic Theorem Proving and Its Applications by Jeffrey J. Joyce in PDF, epub and kindle directly from your devices.
Higher Order Logic Theorem Proving and Its Applications
-
Higher Order Logic Theorem Proving and Its Applications Book Detail
- Author : Jeffrey J. Joyce
- Release Date : 1994-04-28
- Publisher : Springer Science & Business Media
- Genre : Computers
- Pages : 538
- ISBN 13 : 9783540578260
- File Size : 35,35 MB