Cargando…
Interactive theorem proving: 6th international conference, ITP 2015, Nanjing, China, August 24-27, 2015, proceedings
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer International Publishing AG
2015
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2756961 |