Welcome to IOU Digital Library

A peer-reviewed conference proceedings volume from the 12th International Joint Conference on Automated Reasoning (IJCAR 2024). This second part of the proceedings presents advanced research in automated reasoning, theorem proving, formal verification, satisfiability and constraint solving, logic, knowledge representation, and related areas of artificial intelligence and theoretical computer science, showcasing recent developments in reasoning techniques and applications.

no reviews

245: $a: Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II
245: $b:
082: $a:
100: $a: Christoph Benzmüller & Marijn J. H. Heule & Renate A. Schmidt (Eds.)
650: $a: Computer Science
250: $a: 1st
440: $v:
250: $b: Springer Nature Switzerland AG
250: $c: 2024
020: $a: 978-3-031-63500-7
300: $a: 435