Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science)
Manfred Schmidt-Schau??
ISBN 10:
3540517057 ISBN 13:
9783540517054
Published by Springer 2008-06-13, 2008
Language: English
Condition: New
Soft cover
Sold by Chiron Media, Wallingford, United Kingdom
AbeBooks Seller since August 2, 2010
Seller rating 4 out of 5 stars
New - Soft cover
Condition: New
Price:
US$ 47.12
Convert Currency
US$ 20.82
shipping from United Kingdom to U.S.A.
Destination, rates & speeds
Quantity: 10 available
Add to basket
