Item description for Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science) by Manfred Schmidt-Schauß...
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science) by Manfred Schmidt-Schau
Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!
Est. Packaging Dimensions: Length: 9.21" Width: 6.14" Height: 0.39" Weight: 0.59 lbs.
Release Date Nov 1, 1989
ISBN 3540517057 ISBN13 9783540517054
Availability 72 units. Availability accurate as of May 26, 2017 05:13.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.