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

Saved in:

Bibliographic Details
Main Authors:	Benzmüller, Christoph, Heule, Marijn J. H, Schmidt, Renate A
Format:	eBook
Language:	English
Published:	Cham Springer Nature 2024 Springer
Edition:	1
Series:	Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Subjects:	Artificial intelligence Automated reasoning Computer hardware Computer programming / software engineering Computer science Computing and Information Technology Deontic Logic Description logics Equational logic and rewriting First-order logic Higher order logic Interactive proof systems Intuitionistic Logics Logic Logic and verification Mathematical theory of computation Modal and temporal logics Modal Logics Non-classical Logics Programming logic Proof theory Rewriting Satisfiability Solving Separation logic Software Engineering Theorem Proving
ISBN:	9783031635007, 3031635000, 3031635019, 9783031635014
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!