
Interactive Theorem Proving
- Undertitel
- Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
- Redaktör
- Lennart Beringer, Amy Felty
- Upplaga
- 2012 ed.
- ISBN
- 9783642323461
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2012-07-06
- Sidor
- 419
