Search ResultsOther Libraries
Limit Search Results
Format
Publication Date
Library
Language
Material Type
2 Results Found Subscribe to search results
00OPAC
Print
1. 
Cover image for Interactive Theorem Proving [electronic resource] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings