Gå direkte til innholdet
Interactive Theorem Proving
Spar

Interactive Theorem Proving

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.
Undertittel
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
ISBN
9783642228629
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
2.8.2011
Antall sider
383