Computational Aspects of an Order-sorted Logic With Term Declarations
Manfred Schmidt-Schauß
Sold by Ammareal, Morangis, France
AbeBooks Seller since August 29, 2016
Used - Soft cover
Condition: Used - Fine
Ships from France to U.S.A.
Quantity: 1 available
Add to basket