IOU Library

Automated Reasoning 12th International Joint Conference, IJCAR 2024 Nancy, France, July 3–6, 2024 Proceedings, Part I

An electronic copy of book is available for Library Members

Further Details Info

Title	Automated Reasoning 12th International Joint Conference, IJCAR 2024 Nancy, France, July 3–6, 2024 Proceedings, Part I
Call No
Authors	Christoph Benzmüller; Marijn J. H. Heule; Renate A. Schmidt
Subjects	Automated reasoning

An electronic copy of book is available for Library Members Sign in to view the book

no reviews

Sub Title:
Edition:
Volume:
Publisher: Springer
Publishing Year: 2024
ISBN:
Pages: 493

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
650: $a: Automated reasoning
250: $a:
440: $v:
250: $b: Springer
250: $c: 2024
020: $a:
300: $a: 493

Welcome to IOU Digital Library

Automated Reasoning 12th International Joint Conference, IJCAR 2024 Nancy, France, July 3–6, 2024 Proceedings, Part I

Further Details Info

Fresh Arrivals