Top 987 herbert berg PDF Book Page 40

book image

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Don Batory (auth.), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.)
·394 Pages
·2011
·4.091 MB

book image

¿Tienen las Américas una historia común? Herbert E. Bolton, las fronteras y la Gran América

Horacio Crespo ; Andrés Kozel ; Alexander Betancourt (coords.)
·630 Pages
·2018
·7.641 MB

book image

The Rhyme and Reason of Politics in Early Modern Europe: Collected Essays of Herbert H. Rowen

Craig E. Harline (auth.), Craig E. Harline (eds.)
·315 Pages
·1992
·10.192 MB