
Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Rezumat
Despre această carte
- Limbă:English
- ISBN:9783319431444
- Data lansării:9 nov. 2017
- Editura:Springer International Publishing
- Casetă tehnică:Springer
- Formatul fișierului:EPUB2
- Dimensiunea fișierului:8.42 MB
- Opțiuni de descărcare:EPUB2 (Adobe DRM)


















































