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