Automated Reasoning (Paperback Book)
Springer International Publishing AG
Discover the latest advancements in automated reasoning with the proceedings from the 12th International Joint Conference, IJCAR 2024. This two-part series, Part II, captures the essential research presented in Nancy, France, from July 3-6, 2024. Explore cutting-edge theories, algorithms, and applications in a field critical to artificial intelligence and computer science. Key topics include: * Theorem proving * Model checking * Automated theorem generation * Logic programming * Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) This volume is an invaluable resource for researchers, academics, and practitioners seeking to stay at the forefront of automated reasoning and its diverse applications. It provides a comprehensive overview of the state-of-the-art and emerging trends. Product Summary: Springer International Publishing AG, IJCAR 2024 Proceedings, Part II, Paperback, Automated Reasoning, 12th International Joint Conference, Nancy France, July 2024, Christoph Benzmuller.
Compare prices (5 shops)
| shop | Price | Action |
|---|---|---|
|
50,81 GBP | Go to shop |
|
|
55,55 GBP | Go to shop |
|
|
55,55 GBP | Go to shop |
|
57,65 GBP | Go to shop |
|
|
57,94 GBP | Go to shop |
Similar products
-
Reasoning For Business
From 37,13 EUR -
Reasoning Olympiad Class 9th
From 26,95 EUR -
Physics 12th Edition International Adapt
From 60,14 EUR -
Automated Continuous Process Control
From 110,82 EUR -
Legal Reasoning
From 27,65 EUR -
The International
From 10,95 EUR