
Interactive Theorem Proving
- Undertittel
- Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
- Redaktør
- Lennart Beringer, Amy Felty
- Opplag
- 2012 ed.
- ISBN
- 9783642323461
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 6.7.2012
- Antall sider
- 419
