Interactive Theorem Proving [E-Book] : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Matt Kaufmann, Lawrence C. Paulson.
Kaufmann, Matt
Paulson, Lawrence C.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
online resource
englisch
9783642140525
Lecture notes in computer science ; 6172
Full Text
Description not available.