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

by Sandrine Blazy, Christine Paulin-Mohring

0.0 out of 5 (0 reviews)

View PDF

View EPUB

View MOBI

View FB2

Katherine Ellinghaus

Eleanor Coerr

United States. National Aeronautics and Space Administration., Innovative Partnerships Program (U.S.), NASA Center for AeroSpace Information (U.S.)

Irving Howe