Interactive Theorem Proving

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

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Interactive Theorem Proving

More books from Springer International Publishing

bigCover of the book Legitimizing Corporate Harm by

bigCover of the book Equestrian Cultures in Global and Local Contexts by

bigCover of the book Contemporary Masculinities in the UK and the US by

bigCover of the book Linking Gender to Climate Change Impacts in the Global South by

bigCover of the book Advances and Applications in Sliding Mode Control systems by

bigCover of the book Handbook of Mental Health in African American Youth by

bigCover of the book Remote Sensing of Hydrological Extremes by

bigCover of the book A Dynamical Perspective on the ɸ4 Model by

bigCover of the book Visible Costs and Invisible Benefits by

bigCover of the book Squatters and the Politics of Marginality in Uruguay by

bigCover of the book Iranian Entrepreneurship by

bigCover of the book Bounded Rationality in Decision Making Under Uncertainty: Towards Optimal Granularity by

bigCover of the book Trapping of Small Organisms Moving Randomly by

bigCover of the book Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction by

bigCover of the book Agile Strategy Management in the Digital Age by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy