Conditional and Typed Rewriting Systems (English, Stephane Kaplan | Mitsuhiro Okada)

Name: Conditional and Typed Rewriting Systems (English, Stephane Kaplan | Mitsuhiro Okada)
SKU: isbn-9783540543176
Price: 5679.00 INR
Availability: InStock
ISBN: 9783540543176

By Stephane Kaplan | Mitsuhiro OkadaSpringer

₹5,679

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

Quantity:

Free DeliveryOn every order

15-Day ReturnEasy returns

Verified ListingQuality-checked

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

Book Details

ISBN-13	9783540543176
ISBN-10	3540543171

Product Description

About the Book

This volume presents the proceedings of the second international CTRS workshop. Topics include the theory of conditional and typed rewriting and its application to programming languages, automated deduction, and other related extensions of rewriting techniques.

ISBN: 9783540543176

Frequently Asked Questions

What is the price of Conditional and Typed Rewriting Systems?

Conditional and Typed Rewriting Systems is available at ₹5,679 on BookShops.in.

Does BookShops.in offer free delivery for Conditional and Typed Rewriting Systems?

FREE delivery on all orders for Conditional and Typed Rewriting Systems.

Is Cash on Delivery available for Conditional and Typed Rewriting Systems?

Yes, Cash on Delivery (COD) is available for Conditional and Typed Rewriting Systems on BookShops.in. Pay when your order arrives.

What is the return policy for Conditional and Typed Rewriting Systems?

BookShops.in offers a 15-day hassle-free return policy for Conditional and Typed Rewriting Systems. Contact us at support@bookshops.in or call +91 81899 68108.

Is Conditional and Typed Rewriting Systems authentic?

Conditional and Typed Rewriting Systems is listed on BookShops.in after verification of product details including ISBN, title, and availability information.