
Interactive Theorem Proving
6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Sinopsis
Acerca de este libro
- Idioma:English
- ISBN:9783319221021
- Fecha de lanzamiento:19 ago 2015
- Editorial:Springer International Publishing
- Edición:Springer
- Formato de archivo:EPUB2
- Tamaño de archivo:8.89 MB
- Opciones de descarga:EPUB2 (Adobe DRM)



























































































