Apple
- Mac
- iPad
- iPhone
- Watch
- AirPods
- TV & Home
- Entertainment
- Support
- Where to Buy

Apple Books Preview

Local Nav Open Menu Local Nav Close Menu

Top Books
Top Audiobooks

Viorica Sofronie-Stokkermans

Books

Automated Reasoning

Automated Reasoning

Automated Reasoning

Frontiers of Combining Systems

Frontiers of Combining Systems

Frontiers of Combining Systems

Automated Deduction -- CADE-23

Automated Deduction -- CADE-23

Automated Deduction -- CADE-23

Find a retailer near you.

Latin America and the Caribbean Español

Copyright © 2024 Apple Inc. All rights reserved.

Privacy Policy
Legal
Site Map