Logic Programming and Automated Reasoning
Harald Ganzinger, David McAllester, Andrei Voronkov
₹5,581
Rewriting Techniques and Applications
7th International Conference
Springer · 1996 · Paperback
₹5,602
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
Published by Springer in 1996, Rewriting Techniques and Applications: 7th International Conference by Harald Ganzinger runs to 435 pages in paperback. The book is part of the Lecture notes in computer science series.
Topics covered include Computer programming, Rewriting systems (Computer science), Algorithms and Congresses.
Book details
- ISBN-13
- 9783540614647
- ISBN-10
- 3540614648
- Author
- Harald Ganzinger
- Publisher
- Springer
- Published
- 1996
- Series
- Lecture notes in computer science
- Binding
- Paperback
- Pages
- 435
- Language
- English
- Condition
- New
- Subject
- Algorithms
More by Harald Ganzinger and related titles
Automated Deduction - Cade-16
Harald Ganzinger
₹5,598
Numerical Integration
T.O. Espelid
₹4,277
Computer Arithmetic and Formal Proofs
Guillaume Melquiond, Sylvie Boldo
₹10,090
Nature-Inspired Informatics for Intelligent Applications and Knowledge Discovery
Raymond Chiong
₹4,343
Rewriting Techniques and Applications
Aart Middeldorp
₹5,801
Stochastic Algorithms
Kathleen Steinhöfel
₹5,556
Information Optics and Photonics
Thierry Fournel, Bahram Javidi
₹8,167
Support Vector Machines Applications
Yunqian Ma, Guodong Guo
₹13,102
Algorithmic Mathematics
Stefan Hougardy, Jens Vygen
₹4,628
Recent Advances in Swarm Intelligence and Evolutionary Computation
Xin-She Yang
₹7,750
Nature-Inspired Algorithms and Applied Optimization
Xin-She Yang
₹13,068