Interactive Theorem Proving [E-Book]: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / edited by Lennart Beringer, Amy Felty.
Beringer, Lennart.
Felty, Amy.
Berlin, Heidelberg : Springer Berlin Heidelberg : 2012
Imprint: Springer,
digital.
englisch
9783642323478
10.1007/978-3-642-32347-8
Lecture notes in computer science ; 7406
Full Text
Description not available.