Cover Image

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /

This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Blanchette, Jasmin (Editor), Kovács, Laura (Editor), Pattinson, Dirk (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2022.
Edition:	1st ed. 2022.
Series:	Lecture Notes in Artificial Intelligence, 13385
Subjects:	Machine theory. Software engineering. Computer engineering. Computer networks . Artificial intelligence. Computer science. Formal Languages and Automata Theory. Software Engineering. Computer Engineering and Networks. Artificial Intelligence. Computer Science Logic and Foundations of Programming. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I /
Published: (2024)

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II /
Published: (2024)

Frontiers of Combining Systems : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /
Published: (2023)

Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Published: (2023)

Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday /
Published: (2022)

Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /
Published: (2019)

Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Published: (2023)

Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Published: (2023)

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /
Published: (2018)

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /
Published: (2018)

Robust Argumentation Machines : First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings /
Published: (2024)

Formal Methods - The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings /
Published: (2019)

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /
Published: (2022)

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I /
Published: (2019)

Computational Methods in Systems Biology : 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings /
Published: (2019)

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /
Published: (2022)

Artificial General Intelligence : 14th International Conference, AGI 2021, Palo Alto, CA, USA, October 15-18, 2021, Proceedings /
Published: (2022)

Computational Science - ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part II /
Published: (2023)

Artificial General Intelligence : 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings /
Published: (2023)

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II /
Published: (2019)

Artificial Intelligence Applications and Innovations. AIAI 2022 IFIP WG 12.5 International Workshops : MHDW 2022, 5G-PINE 2022, AIBMG 2022, ML@HC 2022, and AIBEI 2022, Hersonissos, Crete, Greece, June 17-20, 2022, Proceedings /
Published: (2022)

Computer Aided Systems Theory - EUROCAST 2022 : 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022, Revised Selected Papers /
Published: (2022)

PRIMA 2022: Principles and Practice of Multi-Agent Systems : 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings /
Published: (2023)

Collaborative Networks in Digitalization and Society 5.0 : 23rd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2022, Lisbon, Portugal, September 19-21, 2022, Proceedings /
Published: (2022)

Parallel Computing Technologies : 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019, Proceedings /
Published: (2019)

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Published: (2019)

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Published: (2019)

Simulation Tools and Techniques : 13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, 2021, Proceedings /
Published: (2022)

Application of Big Data, Blockchain, and Internet of Things for Education Informatization : Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part III /
Published: (2023)

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I /
Published: (2022)

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III /
Published: (2019)

Genetic Programming : 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings /
Published: (2022)

Understanding Agent Systems /
by: D'Inverno, Mark
Published: (2004)

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /
Published: (2023)

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /
Published: (2023)

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /
Published: (2023)

Collaborative Networks in Digitalization and Society 5.0 : 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings /
Published: (2023)

Advances in Cryptology - CRYPTO 2019 : 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2019, Proceedings, Part III /
Published: (2019)

Meta Heuristic Techniques in Software Engineering and Its Applications : METASOFT 2022 /
Published: (2022)

Advances in Computing Science - ASIAN'97 : Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings /
by: Shyamasundar, R. K.
Published: (1997)