This is our South Africa store.

Looks like you're in United States. You need a South Africa address to shop on our South Africa 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)