Computational Aspects of an Order-sorted Logic With Term Declarations
Manfred Schmidt-Schauß
From Ammareal, Morangis, France
Seller rating 5 out of 5 stars
AbeBooks Seller since August 29, 2016
Used - Soft cover
Quantity: 1 available
Add to basket