This is our Canada store.

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

Choose another store Go to United States Store Go to United States Store Choose another store

Have an account?Sign in

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,ebook

Mauricio Ayala-Rincón,César A. Muñoz

Springer Nature Proceedings Computer Science

Synopsis

Categories

About this book

Language:English
ISBN:9783319661070
Release date:Jan 11, 2024
Publisher:Springer International Publishing

Imprint:Springer
File format:EPUB3
File size:18.72 MB
Download options:EPUB3 (Adobe DRM)