Interactive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Interactive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Interactive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Barcode: 09783319221021
Brand: Springer International Publishing
Best Priced
sold by Hive Books
Hive Books
£38.24
Visit Store
Hive Books
Hive Books
£38.24
Free
Amazon UK
Amazon UK
Search
eBay UK
eBay UK
Search
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From Springer International Publishing

The Answer Machine
The Answer Machine
from £23.79
Electromagnetic Theory
Electromagnetic Theory
from £84.58
Smartphone-Based Real-Time Digital Signal Processing, Third Edition
Smartphone-Based Real-Time Digital Signal Processing, Third Edition
from £42.49
Circuit Analysis Laboratory Workbook
Circuit Analysis Laboratory Workbook
from £23.79
Knowledge Graphs
Knowledge Graphs
from £46.74
Customizable Computing
Customizable Computing
from £23.79
Lung Sounds : An Advanced Signal Processing Perspective
Lung Sounds : An Advanced Signal Processing Perspective
from £23.79
Bioinstrumentation
Bioinstrumentation
from £23.79
Genome Refactoring
Genome Refactoring
from £15.29
BioNanotechnology
BioNanotechnology
from £23.79
Symmetry Problems : The Navier-Stokes Problem
Symmetry Problems : The Navier-Stokes Problem
from £23.79
Action Programming Languages
Action Programming Languages
from £21.24
Atomically Precise Metal Nanoclusters
Atomically Precise Metal Nanoclusters
from £38.24
iRODS Primer 2 : Integrated Rule-Oriented Data System
iRODS Primer 2 : Integrated Rule-Oriented Data System
from £29.74
Information Communication
Information Communication
from £23.79
Argumentation Mining
Argumentation Mining
from £42.49
Business Processes
Business Processes
from £23.79
Speech Recognition Algorithms Using Weighted Finite-State Transducers
Speech Recognition Algorithms Using Weighted Finite-State Transducers
from £25.49
Disability Interactions : Creating Inclusive Innovations
Disability Interactions : Creating Inclusive Innovations
from £46.74
Link Reversal Algorithms
Link Reversal Algorithms
from £23.79

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
from £38.24
Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
from £38.24
Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
from £38.24
Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
from £76.08
Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
from £38.24
Intelligent Robotics and Applications : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part II
Intelligent Robotics and Applications : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part II
from £38.24
Intelligent Robotics and Applications : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part I
Intelligent Robotics and Applications : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part I
from £38.24
Intelligent Robotics and Applications : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part III
Intelligent Robotics and Applications : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part III
from £38.24
Cloud Computing and Security : First International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015. Revised Selected Papers
Cloud Computing and Security : First International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015. Revised Selected Papers
from £38.24
Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
from £38.24
Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
from £38.24
Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
from £38.24
Computational Social Networks : 4th International Conference, CSoNet 2015, Beijing, China, August 4-6, 2015, Proceedings
Computational Social Networks : 4th International Conference, CSoNet 2015, Beijing, China, August 4-6, 2015, Proceedings
from £38.24
Computing and Combinatorics : 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
Computing and Combinatorics : 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
from £38.24
Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
from £38.24
Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
from £38.24
Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
from £38.24
Big Data Computing and Communications : First International Conference, BigCom 2015, Taiyuan, China, August 1-3, 2015, Proceedings
Big Data Computing and Communications : First International Conference, BigCom 2015, Taiyuan, China, August 1-3, 2015, Proceedings
from £38.24
Wireless Algorithms, Systems, and Applications : 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings
Wireless Algorithms, Systems, and Applications : 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings
from £38.24
Image and Graphics : 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part II
Image and Graphics : 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part II
from £38.24