| 书目名称 | Interactive Theorem Proving |
| 副标题 | 6th International Co |
| 编辑 | Christian Urban,Xingyuan Zhang |
| 视频video | |
| 概述 | Includes supplementary material: |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics. |
| 出版日期 | Conference proceedings 2015 |
| 关键词 | Coq; Isabelle/HOL; automated planning; bracket polynomial; embedded systems; error-correcting codes; forma |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-22102-1 |
| isbn_softcover | 978-3-319-22101-4 |
| isbn_ebook | 978-3-319-22102-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer International Publishing Switzerland 2015 |
发表于 2025-3-21 18:39:43
