Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, the Netherlands, August 22-25, 2011, Proceedings

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

by Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk Paperback 2011

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
  • ISBN 13: 9783642228629
  • ISBN 10: 3642228623
  • Publication Year: 2011
  • Language: English

Specifications

Index-103642228623
LanguageEnglish
Index-139783642228629
Period-
Class Track-
Publisher- (2011)
Pages-

✨ Readers also enjoyed...

View All →
Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, Fopara 2015, London, UK, April 11, 2015. Revised Selected Papers

Foundational and Practical Aspects…

Marko Van Eekelen, Ugo Dal Lago

Inquire
Research, Applications, and Interventions for Children and Adolescents : A Positive Psychology Perspective

Research, Applications, and Interv…

Carmel Proctor, P. Alex Linley

Inquire