Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II

Thumbnail
Contributor(s)
Benzmüller, Christoph (editor)
Heule, Marijn J.H. (editor)
Schmidt, Renate A. (editor)
Language
English
Show full item record
Abstract
Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions. The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models. This book is open access.
URI
https://library.oapen.org/handle/20.500.12657/92348
Keywords
Automated reasoning; Logic; Logic and verification; Modal and temporal logics; Proof theory; Interactive proof systems; Description logics,; Equational logic and rewriting; First-order logic; Higher order logic; Programming logic; Separation logic; Intuitionistic Logics; Deontic Logic; Non-classical Logics; Theorem Proving; Satisfiability Solving; Modal Logics; Rewriting
DOI
10.1007/978-3-031-63501-4
ISBN
9783031635014, 9783031635007, 9783031635014
Publisher
Springer Nature
Publisher website
https://www.springernature.com/gp/products/books
Publication date and place
Cham, 2024
Imprint
Springer Nature Switzerland
Series
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence, 14740
Classification
Artificial intelligence
Software Engineering
Mathematical theory of computation
Computer hardware
Pages
424
Rights
http://creativecommons.org/licenses/by/4.0/