Delivery included to the United States

Interactive Theorem Proving

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Paperback (15 Aug 2016)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

Interactive Theorem Proving

Book information

ISBN: 9783319431451
Publisher: Springer Nature B.V.
Imprint: Springer Nature B.V.
Pub date:
Language: English
Number of pages: 522
Weight: 725g
Height: 234mm
Width: 156mm