
Interactive Theorem Proving
9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Sinopse
Sobre este livro
- Língua:English
- ISBN:9783319948218
- Data de lançamento:3 de jul. de 2018
- Editora:Springer International Publishing
- Impressão:Springer
- Formato de ficheiro:EPUB3
- Tamanho do ficheiro:20.73 MB
- Opções de transferência:EPUB3 (Adobe DRM)

















