Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer Science, Band 7406)
von:
Lennart Beringer ·
Amy Felty
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-32346-1
ISBN-10: 3-642-32346-4
Springer
· 2012
