Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Schmidt-Schauß, Manfred
ISBN 10:
3540517057 ISBN 13:
9783540517054
Published by Springer, 1989
Language: English
Condition: New
Soft cover
Sold by Ria Christie Collections, Uxbridge, United Kingdom
AbeBooks Seller since March 25, 2015
New - Soft cover
Condition: New
Price:
US$ 51.62
Convert Currency
US$ 16.09
shipping from United Kingdom to U.S.A.
Destination, rates & speeds
Quantity: Over 20 available
Add to basket