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