Interactive Theorem Proving
4. ITP 2013: Rennes, France
Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (Eds.): Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 7998 ISBN 978-3-642-39633-5 [ contents ]
3. ITP 2012: Princeton, NJ, USA
- Lennart Beringer, Amy P. Felty (Eds.): Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7406 ISBN 978-3-642-32346-1 [ contents ]
2. ITP 2011: Berg en Dal, The Netherlands
- Marko C. J. D. van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (Eds.): Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6898 ISBN 978-3-642-22862-9 [ contents ]
- Christoph Lange, Josef Urban (Eds.): Proceedings of the ITP 2011 Workshop on Mathematical Wikis, Nijmegen, The Netherlands, August 27th, 2011. CEUR-WS.org 2011 CEUR Workshop Proceedings 767 [ contents ]
1. ITP 2010: Edinburgh, UK
- Matt Kaufmann, Lawrence C. Paulson (Eds.): Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6172 ISBN 978-3-642-14051-8 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team