Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science, Band 6898)

Netherlands

von: Marko Van Eekelen · Herman Geuvers · Julien Schmaltz · Freek Wiedijk

Taschenbuch

EAN=ISBN-13: 978-3-642-22862-9

ISBN-10: 3-642-22862-3

Springer · 2011