This is our Philippines store.

Looks like you're in United States. You need a Philippines address to shop on our Philippines store. Go to our United States store to continue.

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

Interactive Theorem Proving

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

Synopsis

About this book

  • Language:English
  • ISBN:9783319431444
  • Release date:Nov 9, 2017
  • Publisher:Springer International Publishing
  • Imprint:Springer
  • File format:EPUB2
  • File size:8.42 MB
  • Download options:EPUB2 (Adobe DRM)