Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science, Band 7998)

Interactive

von: Sandrine Blazy · Christine Paulin-Mohring · David Pichardie

Taschenbuch

ISBN: 978-3-642-39633-5

ISBN-10: 3-642-39633-X

Springer · 2013