Read Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science (6172)) Doc
Add Comment
2010,
Interactive Theorem Proving: First International Conference,
ITP 2010 Edinburgh,
July 11-14,
Proceedings (Lecture Notes in Computer Science (6172)),
UK
Edit
Read Online Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Not...
Read More
