The book is currently out of stock
Interactive Theorem Proving
6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Authors
Parameters
Book purchase
Interactive Theorem Proving, Christian Urban
- Language
- Released
- 2015
We’ll notify you via email once we track it down.
Payment methods
- Title
- Interactive Theorem Proving
- Subtitle
- 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
- Language
- English
- Authors
- Christian Urban
- Publisher
- Springer-Verlag GmbH
- Released
- 2015
- ISBN10
- 3319221019
- ISBN13
- 9783319221014