Top 773 bradley murray PDF Book Page 32

book image

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings

Sten Agerholm, Jacob Frost (auth.), Elsa L. Gunter, Amy Felty (eds.)
·340 Pages
·1997
·25.428 MB

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.