Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166) - Image 1

£62.45

Springer Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)

Name: Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)
Brand: Springer
Price: 62.81 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

Last 34 days • 34 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 34 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £63 (25 days, 73.5%)

Price range: £62 - £63

Price levels: 2 different prices over 34 days

Description

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving), and TABLEAUX (International Conference on Analytic Tableaux and Related Methods). The 46 full research papers, 5 short papers, and 11 system descriptions presented together with two invited talks were carefully reviewed and selected from 150 submissions. The papers focus on the following topics: Part I: SAT; SMT and QBF; decision procedures and combination of theories; superposition; proof procedures; non classical logics Part II: interactive theorem proving/ HOL; formalizations; verification; reasoning systems and tools *The conference was held virtually due to the COVID-19 pandemic. Chapter ‘Constructive Hybrid Games’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Product Specifications

Brand: Springer
Format: Paperback
ASIN: 3030510735
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 30 June 2020
Listed Since: 16 May 2020

Barcode

No barcode data available

Springer Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings: 9706 (Lecture Notes in Computer Science, 9706)

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings: 3097 (Lecture Notes in Computer Science, 3097)

Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings: 4130 (Lecture Notes in Computer Science, 4130)

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings: 12229 (Lecture Notes in Computer Science, 12229)

Artificial Intelligence and Soft Computing: 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part I: 12854 (Lecture Notes in Computer Science, 12854)

Artificial Intelligence and Soft Computing: 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part I: 12415 (Lecture Notes in Computer Science, 12415)

Artificial Intelligence in Education: 21st International Conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part I: 12163 (Lecture Notes in Computer Science, 12163)

Artificial Intelligence and Soft Computing: 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II: 12855 (Lecture Notes in Computer Science, 12855)

Intelligent Computing: Proceedings of the 2020 Computing Conference, Volume 1: 1228 (Advances in Intelligent Systems and Computing, 1228)

Blockchain and Applications: 2nd International Congress: 1238 (Advances in Intelligent Systems and Computing, 1238)

Intelligent Computing: Proceedings of the 2020 Computing Conference, Volume 2: 1229 (Advances in Intelligent Systems and Computing, 1229)

Advances in Artificial Intelligence: Selected Papers from the Annual Conference of Japanese Society of Artificial Intelligence (JSAI 2020): 1357 (Advances in Intelligent Systems and Computing, 1357)

AI Approaches to the Complexity of Legal Systems XI-XII: AICOL International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX 2020, ... (Lecture Notes in Computer Science, 13048)

Intelligent Robotics and Applications: 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part I: 11740 (Lecture Notes in Computer Science, 11740)

Intelligent Computing Theories and Application: 17th International Conference, ICIC 2021, Shenzhen, China, August 12–15, 2021, Proceedings, Part I: 12836 (Lecture Notes in Computer Science, 12836)

Computer Aided Verification

14th International Conference on Theory and Application of Fuzzy Systems and Soft Computing – ICAFS-2020: 1306 (Advances in Intelligent Systems and Computing, 1306)

Proceedings of International Joint Conference on Advances in Computational Intelligence: IJCACI 2020 (Algorithms for Intelligent Systems)

Proceedings of the 12th International Conference on Soft Computing and Pattern Recognition (SoCPaR 2020): 1383 (Advances in Intelligent Systems and Computing, 1383)

Artificial Intelligence and Technologies: Select Proceedings of ICRTAC-AIT 2020: 806 (Lecture Notes in Electrical Engineering, 806)

Intelligent Computing and Networking: Proceedings of IC-ICN 2020: 146 (Lecture Notes in Networks and Systems, 146)

Information Processing and Management of Uncertainty in Knowledge-Based Systems: 18th International Conference, IPMU 2020, Lisbon, Portugal, June ... in Computer and Information Science, 1237)

Intelligent Computing Theories and Application: 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II: 9772 (Lecture Notes in Computer Science, 9772)

Medical Image Computing and Computer Assisted Intervention – MICCAI 2020: 23rd International Conference, Lima, Peru, October 4–8, 2020, Proceedings, ... (Lecture Notes in Computer Science, 12266)