| 書目名稱 | Theorem Proving in Higher Order Logics |
| 副標題 | 18th International C |
| 編輯 | Joe Hurd,Tom Melham |
| 視頻video | http://file.papertrans.cn/923/922786/922786.mp4 |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22–25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?cation. There were 49 papers submitted to TPHOLs 2005 in the full research c- egory, each of which was refereed by at least three reviewers selected by the programcommittee. Of these submissions, 20 researchpapersand 4 proof pearls were accepted for presentation at the conference and publication in this volume. In keeping with longstanding tradition, TPHOLs 2005 also o?ered a venue for the presentation of work in progress, where researchers invited discussion by means of a brief introductory talk and then discussed their work at a poster session. A supplementary proceedings volume was published as a 2005 technical report of the Oxford University Computing Laboratory. The organizers are grateful to Wolfgang Paul and Andrew Pitts for agreeing to give invited talks at TPHOLs 2005. |
| 出版日期 | Conference proceedings 2005 |
| 關鍵詞 | Coq; Isabelle; formal verification; logic; proof theory; proving; theorem proving; verification |
| 版次 | 1 |
| doi | https://doi.org/10.1007/11541868 |
| isbn_softcover | 978-3-540-28372-0 |
| isbn_ebook | 978-3-540-31820-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2005 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網安備110108008328)
GMT+8, 2026-1-20 12:47
發(fā)表于 2025-3-21 19:30:26
