We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£63.65
Springer Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings: 10395 (Lecture Notes in Computer Science, 10395)
Price data last checked 48 day(s) ago - refreshing...
Price History & Forecast
Last 43 days • 43 data points (No recent data available)
Price Distribution
Price distribution over 43 days • 2 price levels
Current Price
Price Analysis
Most common price: £64 (22 days, 51.2%)
Price range: £64 - £66
Price levels: 2 different prices over 43 days
Description
Product Description This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license. From the Back Cover The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3319630458
- Domain
- Amazon UK
- Release Date
- 11 July 2017
- Listed Since
- 15 June 2017
Barcode
No barcode data available
Similar Products You Might Like
92% match
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings: 9706 (Lecture Notes in Computer Science, 9706)
Springer
£64.59
21 Feb 2026
91% match
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings: 3097 (Lecture Notes in Computer Science, 3097)
Springer
£43.95
08 Mar 2026
91% match
Automated Model Building: 31 (Applied Logic Series, 31)
Springer
£110.46
13 Jan 2026
91% match
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)
Springer
£62.45
28 Feb 2026
91% match
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series, 8)
Springer
£164.56
13 Apr 2026
90% match
Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2017: 9 (Lecture Notes on Data Engineering and Communications Technologies, 9)
Springer
£153.11
07 Feb 2026
90% match
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings: 5643 (Lecture Notes in Computer Science, 5643)
Springer
£81.08
28 Feb 2026
90% match
Quantitative Logic and Soft Computing 2016: Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held ... in Intelligent Systems and Computing, 510)
Springer
£149.87
01 Feb 2026
90% match
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 10 (Applied Logic Series)
Springer
£110.13
12 Jan 2026
90% match
Proceedings of International Conference on Computational Intelligence and Data Engineering: Proceedings of ICCIDE 2018: 28 (Lecture Notes on Data Engineering and Communications Technologies, 28)
Springer
£109.51
24 Feb 2026
90% match
Springer Distributed Computing and AI - DCAI 2017 Book
Springer
£110.81
05 Mar 2026
90% match
Computation Engineering: Applied Automata Theory and Logic
Springer
£68.10
23 Feb 2026
90% match
Intelligent Systems Design and Applications: 19th International Conference on Intelligent Systems Design and Applications (ISDA 2019) held December ... in Intelligent Systems and Computing, 1181)
Springer
£104.67
09 Mar 2026
90% match
Advances in Automated Negotiations: 905 (Studies in Computational Intelligence, 905)
£148.39
22 Jan 2026
90% match
Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2020: 56 (Lecture Notes on Data Engineering and Communications Technologies, 56)
Springer
£185.79
06 Feb 2026
90% match
Innovations in Computational Intelligence: Best Selected Papers of the Third International Conference on REDSET 2016: 713 (Studies in Computational Intelligence, 713)
Springer
£73.85
02 Mar 2026
90% match
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work: 39 (Trends in Logic, 39)
Springer
£91.63
09 Mar 2026
90% match
Recent Advances on Soft Computing and Data Mining: The Second International Conference on Soft Computing and Data Mining (SCDM-2016), Bandung, ... in Intelligent Systems and Computing, 549)
Springer
£136.48
10 Apr 2026
90% match
Springer - Recent Advances in Automation, Robotics and Measuring
Springer
£149.28
04 Mar 2026
90% match
Lecture Notes in Computational Intelligence and Decision Making: 2021 International Scientific Conference "Intellectual Systems of Decision-making and ... and Communications Technologies, 77)
Springer
£98.23
07 Mar 2026
90% match
Trends in Data Engineering Methods for Intelligent Systems: Proceedings of the International Conference on Artificial Intelligence and Applied ... and ... and Communications Technologies, 76)
Springer
£174.06
12 Jan 2026
90% match
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings: 4130 (Lecture Notes in Computer Science, 4130)
Springer
£59.92
27 Feb 2026
90% match
Intelligent Computing: Proceedings of the 2019 Computing Conference, Volume 1: 997 (Advances in Intelligent Systems and Computing, 997)
Springer
£150.59
11 Jan 2026
90% match
Proceedings of the International Conference on Data Engineering and Communication Technology: ICDECT 2016, Volume 1: 468 (Advances in Intelligent Systems and Computing, 468)
Springer
£142.76
18 Mar 2026