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 |
| _version_ | 1780969863081099264 |
|---|---|
| author | Urban, Christian Zhang, Xingyuan |
| author_facet | Urban, Christian Zhang, Xingyuan |
| author_sort | Urban, Christian |
| collection | CERN |
| id | cern-2756961 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2015 |
| publisher | Springer International Publishing AG |
| record_format | invenio |
| spelling | cern-27569612021-04-21T16:41:33Zhttp://cds.cern.ch/record/2756961engUrban, ChristianZhang, XingyuanInteractive theorem proving: 6th international conference, ITP 2015, Nanjing, China, August 24-27, 2015, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27569612015 |
| spellingShingle | XX Urban, Christian Zhang, Xingyuan Interactive theorem proving: 6th international conference, ITP 2015, Nanjing, China, August 24-27, 2015, proceedings |
| title | Interactive theorem proving: 6th international conference, ITP 2015, Nanjing, China, August 24-27, 2015, proceedings |
| title_full | Interactive theorem proving: 6th international conference, ITP 2015, Nanjing, China, August 24-27, 2015, proceedings |
| title_fullStr | Interactive theorem proving: 6th international conference, ITP 2015, Nanjing, China, August 24-27, 2015, proceedings |
| title_full_unstemmed | Interactive theorem proving: 6th international conference, ITP 2015, Nanjing, China, August 24-27, 2015, proceedings |
| title_short | Interactive theorem proving: 6th international conference, ITP 2015, Nanjing, China, August 24-27, 2015, proceedings |
| title_sort | interactive theorem proving: 6th international conference, itp 2015, nanjing, china, august 24-27, 2015, proceedings |
| topic | XX |
| url | http://cds.cern.ch/record/2756961 |
| work_keys_str_mv | AT urbanchristian interactivetheoremproving6thinternationalconferenceitp2015nanjingchinaaugust24272015proceedings AT zhangxingyuan interactivetheoremproving6thinternationalconferenceitp2015nanjingchinaaugust24272015proceedings |