Rewriting Techniques and Applications (English, Nachum Dershowitz)
Language, Linguistics & Writing

Rewriting Techniques and Applications (English, Nachum Dershowitz)

5,732

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

Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked

Available Offers

  • 🚚Free DeliveryFree shipping on all orders
  • 💵Cash on DeliveryPay when your order arrives
  • ↩️15-Day Easy ReturnsHassle-free return policy
  • 🔒Cash on DeliveryPay safely when your order arrives

Check Delivery

Book Details

ISBN-139783540510819
ISBN-103540510818

Product Description

About the Book

Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming language design, semantics, and implementations, and symbolic and algebraic manipulation. The proceedings of the third International Conference on Rewriting Techniques and Applications contain…

ISBN: 9783540510819

Frequently Asked Questions

What is the price of Rewriting Techniques and Applications?
Rewriting Techniques and Applications is available at ₹5,732 on BookShops.in.
Does BookShops.in offer free delivery for Rewriting Techniques and Applications?
FREE delivery on all orders for Rewriting Techniques and Applications.
Is Cash on Delivery available for Rewriting Techniques and Applications?
Yes, Cash on Delivery (COD) is available for Rewriting Techniques and Applications on BookShops.in. Pay when your order arrives.
What is the return policy for Rewriting Techniques and Applications?
BookShops.in offers a 15-day hassle-free return policy for Rewriting Techniques and Applications. Contact us at support@bookshops.in or call +91 81899 68108.
Is Rewriting Techniques and Applications authentic?
Rewriting Techniques and Applications is listed on BookShops.in after verification of product details including ISBN, title, and availability information.