Publisher's Synopsis
Interactive Theorem Proving
Paperback (15 Aug 2016)
Not available for sale
Out of stock
Interactive Theorem Proving
ISBN: | 9783319431451 |
Publisher: | Springer Nature B.V. |
Imprint: | Springer Nature B.V. |
Pub date: | 15 Aug 2016 |
Language: | English |
Number of pages: | 522 |
Weight: | 725g |
Height: | 234mm |
Width: | 156mm |