
Interactive Theorem Proving
8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Sinopsis
Acerca de este libro
- Idioma:English
- ISBN:9783319661070
- Fecha de lanzamiento:11 ene 2024
- Editorial:Springer International Publishing
- Edición:Springer
- Formato de archivo:EPUB3
- Tamaño de archivo:18.72 MB
- Opciones de descarga:EPUB3 (Adobe DRM)




























































































