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

Name: Computational Aspects of an Order-Sorted Logic with Term Declarations (English, Manfred Schmidt-Schauß)
SKU: isbn-9783540517054
Price: 3919.00 INR
Availability: InStock
ISBN: 9783540517054

By Manfred Schmidt-SchaußSpringer

₹3,919

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:

Free DeliveryOn every order

15-Day ReturnEasy returns

Genuine BookPhysical copy only

Available Offers

🚚Free Delivery — Free shipping on all orders
💵Cash on Delivery — Pay when your order arrives
↩️15-Day Easy Returns — Hassle-free return policy
🔒Cash on Delivery — Pay safely when your order arrives

Check Delivery

Product Description

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

Book Specifications

ISBN-13	9783540517054
ISBN-10	3540517057
Publisher	Springer
Category	Springer

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 is available at ₹3,919 on BookShops.in.

Does BookShops.in offer free delivery for Computational Aspects of an Order-Sorted Logic with Term Declarations?

FREE delivery on all orders for Computational Aspects of an Order-Sorted Logic with Term Declarations.

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 BookShops.in. Pay when your order arrives.

What is the return policy for Computational Aspects of an Order-Sorted Logic with Term Declarations?

BookShops.in offers a 15-day hassle-free return policy for Computational Aspects of an Order-Sorted Logic with Term Declarations. Contact us at support@bookshops.in or call +91 90874 10993.

Is Computational Aspects of an Order-Sorted Logic with Term Declarations authentic?

Computational Aspects of an Order-Sorted Logic with Term Declarations is listed on BookShops.in after verification of product details including ISBN, title, and availability information.