Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science, Band 6172)
von:
Matt Kaufmann
·
Lawrence C. Paulson
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-14051-8
ISBN-10: 3-642-14051-3
Springer
· 2010
