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 - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings eBook by

Interactive Theorem Proving

6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

ebook,ebook,ebook

Christian Urban,Xingyuan Zhang

Springer Nature Proceedings Computer Science

Synopsis

Categories

About this book

Language:English
ISBN:9783319221021
Release date:Aug 19, 2015
Publisher:Springer International Publishing

Imprint:Springer
File format:EPUB2
File size:8.89 MB
Download options:EPUB2 (Adobe DRM)