Products

Product categories

Filters

Filters

Clear all
1 products
Sort by
Sort by
Handbook of Automated Reasoning (Volume II),Used Handbook of Automated Reasoning (Volume II),Used
Add to wishlist
Quick view
Add to compare
Handbook of Automated Reasoning (Volume II),Used
This second volume of Handbook of Automated Reasoning covers topics such as higherorder logic and logical frameworks, higherorder unification and matching, logical frameworks, proofassistants using...
Sale price$404.84 Regular price$578.34
Quantity
Add to cart

Recently viewed products