Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial w...
Uloženo v:
Další autoři: | |
---|---|
Korporace: | |
Médium: | E-kniha |
Jazyk: | angličtina |
Vydáno: |
Berlin ; Heidelberg :
Springer Berlin Heidelberg,
2012
|
Edice: | Lecture Notes in Computer Science
|
Žánr/forma: | elektronické knihy |
ISBN: | 978-3-642-32347-8 9783642323461 |
Témata: | |
On-line přístup: | Plný text |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|