Top 1050 murray steib editor PDF Book Page 34

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

book image

Mao do Autor e a Mente do Editor, A

Roger Chartier
·58 Pages
·2014
·15.985 MB

1
333435
44