Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I: 14739 (Lecture Notes in Computer Science, 14739)
-
£27.18£28.33 -
£10.58
£12.58 -
£16.71
£17.13
Reviews & Ratings
The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models. This book is open access.
. .
Frequently Bought Products
Product Queries (0)
Login Or Registerto submit your questions to seller
Other Questions
No none asked to seller yet
-
£27.18
£28.33 -
£10.58
£12.58 -
£16.71
£17.13
Bookiyos Books Solutions - Quality Books, Unbeatable Prices
Bookiyos Books Solutions is your premier online bookstore offering a vast selection of over 5 crore books. Whether you're looking for the latest releases, timeless classics, or rare finds, we have something for every reader. Our platform serves customers worldwide, including the USA, UK, and Europe, with fast delivery and easy return policies to ensure a hassle-free shopping experience. Discover daily updates, exclusive deals, and a comprehensive collection of books that cater to all your reading needs. Shop with confidence at Bookiyos, where quality books and unbeatable prices meet.
Why Choose Bookiyos?
Extensive Inventory: New, old, and rare books available.
Fast Delivery: Same or next-day shipping.
Easy Returns: Hassle-free refund and return policies.
Global Reach: Serving customers in the USA, UK, Europe, and beyond.
Daily Updates: Thousands of new titles added every day.
Join our community of book lovers and start your literary journey with Bookiyos Books Solutions today!
Subscribe to our newsletter for regular updates about Offers, Coupons & more
Follow Us
Mobile Apps
