Apple
- Store
- Mac
- iPad
- iPhone
- Watch
- AirPods
- TV & Home
- Entertainment
- Accessories
- Support

Apple Books Preview

Local Nav Open Menu Local Nav Close Menu

Top Books
Top Audiobooks

Leonardo de Moura

Books

Automated Deduction – CADE 26

Automated Deduction – CADE 26

Automated Deduction – CADE 26

Intelligent Computer Mathematics

Intelligent Computer Mathematics

Intelligent Computer Mathematics

More ways to shop: find a retailer near you. Or call 1800 92 38 98.

Copyright © 2024 Apple Inc. All rights reserved.

Privacy Policy
Use of Cookies
Terms of Use
Legal
Site Map