Siirry suoraan sisältöön
Interactive Theorem Proving
Tallenna

Interactive Theorem Proving

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012.
Alaotsikko
Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Painos
2012 ed.
ISBN
9783642323461
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
6.7.2012
Sivumäärä
419