Computational Aspects of an Order-sorted Logic With Term Declarations

Manfred Schmidt-Schauß

ISBN 10: 3540517057 ISBN 13: 9783540517054
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1989
Language: English
Condition: Used - Fine Soft cover

From Ammareal, Morangis, France

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

AbeBooks Seller since August 29, 2016

View this seller's items


Used - Soft cover

Price: US$ 26.87 Convert Currency
US$ 9.65 shipping from France to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket