Automated Deduction in Classical and Non-Classical Logics : Selected Papers

Automated Deduction in Classical and Non-Classical Logics : Selected Papers

Automated Deduction in Classical and Non-Classical Logics : Selected Papers

Barcode: 09783540465089
Brand: Springer Berlin Heidelberg
There are no offers for this product at this time.

More From Springer Berlin Heidelberg

Dental Pathology : A Practical Introduction
Dental Pathology : A Practical Introduction
from £76.08
The Political Economy of Fiscal Policy : Public Deficits, Volatility, and Growth
The Political Economy of Fiscal Policy : Public Deficits, Volatility, and Growth
from £76.08
Advanced Parallel Processing Technologies : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings
Advanced Parallel Processing Technologies : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings
from £76.08
Technologies of Inclusive Well-Being : Serious Games, Alternative Realities, and Play Therapy
Technologies of Inclusive Well-Being : Serious Games, Alternative Realities, and Play Therapy
from £76.08
Molecular Quantum Dynamics : From Theory to Applications
Molecular Quantum Dynamics : From Theory to Applications
from £101.58
Knowledge Sharing Through Technology : 8th International Conference on Information and Communication Technology in Teaching and Learning, ICT 2013, Hong Kong,China, July 10-11, 2013
Knowledge Sharing Through Technology : 8th International Conference on Information and Communication Technology in Teaching and Learning, ICT 2013, Hong Kong,China, July 10-11, 2013
from £38.24
Rock and Pop Venues : Acoustic and Architectural Design
Rock and Pop Venues : Acoustic and Architectural Design
from £84.58
Clinician's Guide to the Diagnosis and Management of Tooth Sensitivity
Clinician's Guide to the Diagnosis and Management of Tooth Sensitivity
from £76.08
Neurotrophic Factors
Neurotrophic Factors
from £212.08
Art, Cultural Heritage and the Market : Ethical and Legal Issues
Art, Cultural Heritage and the Market : Ethical and Legal Issues
from £110.08
Middleware 2013 : ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings
Middleware 2013 : ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings
from £38.24
Theory and Practice of Natural Computing : Second International Conference, TPNC 2013, Caceres, Spain, December 3-5, 2013. Proceedings
Theory and Practice of Natural Computing : Second International Conference, TPNC 2013, Caceres, Spain, December 3-5, 2013. Proceedings
from £33.99
Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence : Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 -- December 2, 20
Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence : Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 -- December 2, 20
from £38.24
Lean and Cleaner Production : Applications in Prefabrication to Reduce Carbon Emissions
Lean and Cleaner Production : Applications in Prefabrication to Reduce Carbon Emissions
from £110.08
Neural Information Processing : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II
Neural Information Processing : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II
from £38.24
VLSI Design and Test : 17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Proceedings
VLSI Design and Test : 17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Proceedings
from £38.24
Phospholipases in Plant Signaling
Phospholipases in Plant Signaling
from £110.08
Hemorrhoids
Hemorrhoids
from £76.08
Security Protocols : 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers
Security Protocols : 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers
from £38.24
Advances in Cryptology - ASIACRYPT 2013 : 19th International Conference on the Theory and Application of Cryptology and Information, Bengaluru, India, December 1-5, 2013, Proceedings, Part I
Advances in Cryptology - ASIACRYPT 2013 : 19th International Conference on the Theory and Application of Cryptology and Information, Bengaluru, India, December 1-5, 2013, Proceedings, Part I
from £38.24

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
from £33.99
Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
from £29.74
Belief Revision in Non-Classical Logics
Belief Revision in Non-Classical Logics
from £22.55
Belief Revision in Non-Classical Logics
Belief Revision in Non-Classical Logics
from £38.24
Labelled Non-Classical Logics
Labelled Non-Classical Logics
from £110.08
Interval / Probabilistic Uncertainty and Non-classical Logics
Interval / Probabilistic Uncertainty and Non-classical Logics
from £149.18
Natural Deduction, Hybrid Systems and Modal Logics
Natural Deduction, Hybrid Systems and Modal Logics
from £169.58
Automated Deduction in Geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Automated Deduction in Geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
from £38.24
Automated Deduction in Geometry : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers
Automated Deduction in Geometry : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers
from £38.24
Automated Deduction in Geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers
Automated Deduction in Geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers
from £38.24
Algebraic and Proof-theoretic Aspects of Non-classical Logics : Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday
Algebraic and Proof-theoretic Aspects of Non-classical Logics : Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday
from £38.24
Automated Deduction in Geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Automated Deduction in Geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
from £38.24
Automated Deduction in Geometry : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers
Automated Deduction in Geometry : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers
from £38.24
Automated Deduction in Geometry : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers
Automated Deduction in Geometry : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers
from £38.24
Automated Deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
Automated Deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
from £38.24
Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
from £38.24
Automated Deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
Automated Deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
from £38.24
Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
from £38.24
Automated Deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Automated Deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
from £38.24
Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
from £38.24