Interactive Theorem Proving : 7th International Conference, Proceedings, Pape...
USD 86.97 USD
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.
Specifications
| ISBN | 9783319431437 |
| Subject Area | Mathematics, Computers |
| Item Length | 9.3 in |
| Publication Year | 2016 |
| Type | Textbook |
| Format | Trade Paperback |
| Language | English |
| Author | Stephan Merz |
| Item Weight | 274.5 Oz |
| Item Width | 6.1 in |
| Number Of Pages | Xvii, 502 Pages |
This textbook is in great condition, with no writing or highlighting inside.
