Welcome to IOU Digital Library

A peer-reviewed conference proceedings volume from the 12th International Joint Conference on Automated Reasoning (IJCAR 2024). The book presents current research in automated reasoning, theorem proving, formal verification, logic, satisfiability solving, knowledge representation, and related areas of artificial intelligence and theoretical computer science, highlighting advances in reasoning systems and formal methods.

no reviews

245: $a: Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
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-63497-0
300: $a: 493