Deliver to Vanuatu
IFor best experience Get the App
Tacti-Based Inductive Theorem Prover for Data Types With Partial Operations (Dissertations in Artificial Intelligence-Infix, 238)
Product ID: 337558585
Secure Transaction
Frequently Bought Together
Description
Tacti-Based Inductive Theorem Prover for Data Types With Partial Operations (Dissertations in Artificial Intelligence-Infix, 238)
Common Questions
Trustpilot
TrustScore 4.5 | 7,300+ reviews
Great experience from order to delivery. Highly recommended!
1 week ago
I loved the variety of products available. Will definitely shop again.
2 months ago
Shop Global, Save with Desertcart
Value for Money
Competitive prices on a vast range of products
Shop Globally
Serving over 300 million shoppers across more than 200 countries
Enhanced Protection
Trusted payment options loved by worldwide shoppers
Customer Assurance
Trusted payment options loved by worldwide shoppers.
Desertcart App
Shop on the go, anytime, anywhere.
Get the App
