Gå direkt till innehållet
Interactive Theorem Proving
Spara

Interactive Theorem Proving

Lägsta pris på PriceRunner
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.
Undertitel
Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Upplaga
2012 ed.
ISBN
9783642323461
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2012-07-06
Sidor
419