Gå direkt till innehållet
Interactive Theorem Proving
Spara

Interactive Theorem Proving

Lägsta pris på PriceRunner
This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011.
Undertitel
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
ISBN
9783642228629
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2011-08-02
Sidor
383