Interactive Theorem Proving
Subtitle: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Publisher: Springer
Published: Sep 17, 2011
Format: paperback
Number of pages: 396
ISBN-13: 9783642228643
Notes: Source title: Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings