Products

Product categories

Filters

Filters

Clear all
1 products
Sort by
Sort by
Extending resourceaware logics: Proof systems, semantics and applications,Used Extending resourceaware logics: Proof systems, semantics and applications,Used
Add to wishlist
Quick view
Add to compare
Extending resourceaware logics: Proof systems, semantics and applications,Used
This book introduces some extensions of resource aware logics, and shows some fundamental (e.g., cut elimination and completeness) theorems for these extensions. By resourceaware logics,...
Sale price$141.77 Regular price$202.53
Quantity
Add to cart

Recently viewed products