This is our Singapore store.

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

Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings eBook by

Interactive Theorem Proving

8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

ebook,ebook

Synopsis

About this book

  • Language:English
  • ISBN:9783319661070
  • Release date:Sep 30, 2022
  • Publisher:Springer International Publishing
  • Imprint:Springer
  • File format:EPUB3
  • File size:18.72 MB
  • Download options:EPUB3 (Adobe DRM)