Conditional and Typed Rewriting Systems
Nachum Dershowitz, Naomi Lindenstrauss
₹5,569
Rewriting Techniques and Applications
3rd International Conference
Springer · 1989 · Paperback
₹5,732
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Rewriting Techniques and Applications: 3rd International Conference is written by Nachum Dershowitz. This paperback edition from Springer (1989) has 579 pages.
Its main subjects are Mathematical logic, Programming, Electronic digital computers and Mathematics.
Book details
- ISBN-13
- 9783540510819
- ISBN-10
- 3540510818
- Author
- Nachum Dershowitz
- Publisher
- Springer
- Published
- 1989
- Binding
- Paperback
- Pages
- 579
- Language
- English
- Condition
- New
- Subject
- Computer algorithms
More by Nachum Dershowitz and related titles
Clever Algorithms
Jason Brownlee
₹2,721
Performance Characterization in Computer Vision
Reinhard Klette
₹8,176
Theory and Applications of Satisfiability Testing -- SAT 2015
Marijn Heule, Sean Weaver
₹4,993
Wireless Sensor and Actuator Networks
Amiya Nayak, Ivan Stojmenovic
₹6,377
Parallel Computing Using Prefix Problem
S. Lakshmivarahan, Sudarshan Kumar Dhall
₹4,902
Algorithms and Networking for Computer Games
Jouni Smed, Harri Hakonen
₹5,062
Advanced Data Mining and Applications
Longbing Cao, Yong Feng, Jiang Zhong
₹5,035
Algorithmic Learning Theory
Ricard Gavalda, Klaus P. Jantke, Eiji Takimoto
₹5,539
Algorithms and Programming
Alexander Shen
₹2,938
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
Maria Serna, Ronen Shaltiel, Klaus Jansen
₹4,388
Computing Algorithms of Solution of Problems of Applied Mathematics and Their Standard Program Realization
Kartlos Joseph Kachiashvili, D. Yu Melikdzhanian, A. I. Prangishvili
₹10,470