Top 1009 williamson murray editor PDF Book Page 40

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.