Products

Product categories

Filters

Filters

Clear all
1 products
Sort by
Sort by
Canonical Equational Proofs (Progress in Theoretical Computer Science),Used Canonical Equational Proofs (Progress in Theoretical Computer Science),Used
Add to wishlist
Quick view
Add to compare
Canonical Equational Proofs (Progress in Theoretical Computer Science),Used
Equations occur in many computer applications, such as symbolic compu tation, functional programming, abstract data type specifications, program verification, program synthesis, and automated theorem proving....
Sale price$59.72 Regular price$85.31
Quantity
Add to cart

Recently viewed products