✓ Genuine Books — Sourced from Publishers & Authorised Distributors🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 5,000+ Titles in Stock⚡ Dispatch in 1–2 Business Days🏅 Customer Support: Mon–Sat, 10am–7pm
✓ Genuine Books — Sourced from Publishers & Authorised Distributors🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 5,000+ Titles in Stock⚡ Dispatch in 1–2 Business Days🏅 Customer Support: Mon–Sat, 10am–7pm
Computational Aspects of an Order-Sorted Logic with Term Declarations (English, Manfred Schmidt-Schauß) - Image 1 - GlowMirror

Computational Aspects of an Order-Sorted Logic with Term Declarations (English, Manfred Schmidt-Schauß)

by Manfred Schmidt-Schauß

Delivery options

₹3,919
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days

Available Offers

Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.

15-Day Easy Returns — hassle-free return & full refund.

Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.

Total: ₹3,919

Book Details

Publisher
Springer
Language
English
ISBN-13
9783540517054
ISBN-10
3540517057
Author
Manfred Schmidt-Schauß

About the Book

Computational Aspects of an Order-Sorted Logic with Term Declarations is a carefully curated title by Manfred Schmidt-Schauß, published by Springer.

ISBN: 9783540517054

ISBN-13: 9783540517054
ISBN-10: 3540517057

Frequently Asked Questions

What is the price of Computational Aspects of an Order-Sorted Logic with Term Declarations?
Computational Aspects of an Order-Sorted Logic with Term Declarations starts from ₹3919 at GlowMirror. Available in Paperback.
Who is the author of Computational Aspects of an Order-Sorted Logic with Term Declarations?
Manfred Schmidt-Schauß is the author of Computational Aspects of an Order-Sorted Logic with Term Declarations. Browse more books by Manfred Schmidt-Schauß on GlowMirror.
Is Computational Aspects of an Order-Sorted Logic with Term Declarations available in Paperback and Hardcover?
Yes, Computational Aspects of an Order-Sorted Logic with Term Declarations is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Computational Aspects of an Order-Sorted Logic with Term Declarations?
Yes, GlowMirror offers free delivery for Computational Aspects of an Order-Sorted Logic with Term Declarations across India. No minimum order value required.
Is Cash on Delivery available for Computational Aspects of an Order-Sorted Logic with Term Declarations?
Yes, Cash on Delivery (COD) is available for Computational Aspects of an Order-Sorted Logic with Term Declarations on GlowMirror. You can pay when your order is delivered.
ISBN-10: 3540517057. ISBN-13: 9783540517054. Computational Aspects of an Order-Sorted Logic with Term Declarations (English, Manfred Schmidt-Schauß) by Manfred Schmidt-Schauß. Available on GlowMirror.
Product ID: isbn-9783540517054