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

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

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, 14740
Subjects:	Artificial intelligence. Software engineering. Machine theory. Computer engineering. Computer networks . Computer science. Artificial Intelligence. Software Engineering. Formal Languages and Automata Theory. 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:	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. .
Physical Description:	1 online resource (XV, 424 pages 87 illustrations, 34 illustrations in color.)
ISBN:	9783031635014
ISSN:	2945-9141 ;
DOI:	10.1007/978-3-031-63501-4
Access:	Open Access