Products

Product categories

Filters

Filters

Clear all
1 products
Sort by
Sort by
Computing in Horn Clause Theories (Monographs in Theoretical Computer Science. An EATCS Series, 16),Used Computing in Horn Clause Theories (Monographs in Theoretical Computer Science. An EATCS Series, 16),Used
Add to wishlist
Quick view
Add to compare
Computing in Horn Clause Theories (Monographs in Theoretical Computer Science....
At least four research fields detennine the theoretical background of specification and deduction in computer science: recursion theory, automated theorem proving, abstract data types and...
Sale price$66.73 Regular price$95.33
Quantity
Add to cart

Recently viewed products