1.1.3 Books

• Yves Bertot, Pierre Casteran, Pierre CastTran "Interactive Theorem Proving and Program Development" Springer | 2004-06-24 | ISBN: 3540208542 | 500 pages | Djvu |
• Theorem proving in higher order logics : 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings / Otmane Ait Mohamed, Cesar Munoz, Sofiene Tahar, (eds.). ISBN: 9783540710653 (pbk.) 3540710655 (pbk.)
• Automated Development of Fundamental Mathematical Theories by Art Quaife (1992). Kluwer Academic Publishers. 271pp. $US123 hbk. ISBN: 0-7923-2021-2.

This document was generated by George Schils on June 16, 2010 using texi2html 1.82.

Copyright © 2010 George Schils. All rights reserved.