
Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Sinopsis
Acerca de este libro
- Idioma:English
- ISBN:9783319431444
- Fecha de lanzamiento:9 nov 2017
- Editorial:Springer International Publishing
- Edición:Springer
- Formato de archivo:EPUB2
- Tamaño de archivo:8.42 MB
- Opciones de descarga:EPUB2 (Adobe DRM)
























































































