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: 4 | Digital Books: 4 | 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 with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods

Subjects: Artificial Intelligence

Published in: 2023

Availability: 1 of 1(eBook)

By: Revantha Ramanayake

Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2011 (Lecture Notes in Artificial Intelligence, 6793)
Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2011 (Lecture Notes in Artificial Intelligence, 6793)

Subjects: Automated reasoning

Published in: 2011

Availability: 1 of 1(eBook)

By: Kai Brünnler & George Metcalfe

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