Automated Deduction in Classical and Non-Classical Logics: Selected Papers: 1761 (Lecture Notes in Computer Science)
Product ID: 159010317
Frequently Bought Together
Common Questions
Competitive prices on a vast range of products
Serving millions of shoppers across more than 100 countries
Trusted payment options loved by worldwide shoppers
Trusted payment options loved by worldwide shoppers.
Shop on the go, anytime, anywhere.