
Interactive Theorem Proving
- Alaotsikko
- Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
- Toimittaja
- Lennart Beringer, Amy Felty
- Painos
- 2012 ed.
- ISBN
- 9783642323461
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 6.7.2012
- Sivumäärä
- 419