Top 963 dom gregory murray PDF Book Page 37

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

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