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
Genre:
ai
Description
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. Read online or download for free.
