Cover Image

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

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 f...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Benzmüller, Christoph (Editor), Heule, Marijn J.H (Editor), Schmidt, Renate A. (Editor)
Format: eBook
Language:English
Published: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edition:1st ed. 2024.
Series:Lecture Notes in Artificial Intelligence, 14739
Subjects:
Machine theory.
Software engineering.
Artificial intelligence.
Computer engineering.
Computer networks .
Computer science.
Formal Languages and Automata Theory.
Software Engineering.
Artificial Intelligence.
Computer Engineering and Networks.
Computer Science Logic and Foundations of Programming.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Summary: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. .
Physical Description:1 online resource (XVI, 482 pages 89 illustrations, 42 illustrations in color.)
ISBN:9783031634987
ISSN:2945-9141 ;
DOI:10.1007/978-3-031-63498-7
Access:Open Access