Order History
Premium Membership & Rewards
Help Center / FAQ
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
eBook
$0.00
Collect stamps to save with Rewards. 10 stamps = $5. Learn More
Select a store to view item availability.
Available on compatible , the free NOOK App, and in My Digital Library
NOOK App
Download NOOK app
NOOK Devices
NOOK eReaders
- NOOK GlowLight 4 Plus
- NOOK GlowLight 4e
- NOOK GlowLight 4
- NOOK GlowLight Plus 7.8"
- NOOK GlowLight 3
- NOOK GlowLight Plus 6"
NOOK Tablets
- NOOK 9" Lenovo Tablet
- NOOK 10" HD Lenovo Tablet
- NOOK Tablet 7" & 10.1"
- NOOK by Samsung Galaxy Tab 7.0 [Tab A and Tab 4]
- NOOK by Samsung [Tab 4 10.1, S2 & E]
Free NOOK Reading Apps
- NOOK for iOS
- NOOK for Android
BN.com website
Go to your Digital Library in My Account
Limit 1 per customer
This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.
The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.
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 De...