Welcome, Guest.Sign in for full access to IOU Digital Library's resources.

Welcome to IOU Digital Library

Refine your Search

Useful Links

Page 1 | Results on this page: 2 | Digital Books: 2 | Physical Books: 0

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

Subjects: Automated reasoning

Published in: 2024

Availability: 1 of 1(eBook)

By: Christoph Benzmüller ,  Marijn J. H. Heule ,  Renate A. Schmidt

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

Subjects: Automated reasoning

Published in: 2024

Availability: 1 of 1(eBook)

By: Christoph Benzmülle ,  Marijn J. H. Heule ,  Renate A. Schmidt

Fresh Arrivals