Interactive Theorem Proving

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

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Advanced Computing, Artificial Intelligence, General Computing

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 Hyperspectral Remote Sensing of Nearshore Water Quality by

bigCover of the book Media Art and the Urban Environment by

bigCover of the book Paradigms and Public Sector Reform by

bigCover of the book Innovation Networks for Regional Development by

bigCover of the book Multicriteria and Clustering by

bigCover of the book Applying a Human Rights Approach to Social Work Research and Evaluation by

bigCover of the book Design of Experiments for Reinforcement Learning by

bigCover of the book World Trade Center Pulmonary Diseases and Multi-Organ System Manifestations by

bigCover of the book Obstetric Emergencies by

bigCover of the book Writing and Performing Female Identity in Italian Culture by

bigCover of the book How to Find the Apollo Landing Sites by

bigCover of the book A Century of Crisis and Conflict in the International System by

bigCover of the book Shakespeare, Catholicism, and the Middle Ages by

bigCover of the book Building Virtual Communities of Practice for Distance Educators by

bigCover of the book State Building and National Identity Reconstruction in the Horn of Africa 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