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: Computer Science

Published in: 2024

By: Christoph Benzmüller & Marijn J. H. Heule & Renate A. Schmidt (Eds.)

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: Computer Science

Published in: 2024

By: Christoph Benzmüller & Marijn J. H. Heule & Renate A. Schmidt (Eds.)

Fresh Arrivals