Rewriting Computation and Proof
Hubert Comon
₹2,387
Constraints in Computational Logics
International Summer School
by Hubert Comon, Claude Marche, Ralf Treinen
Springer · 2001 · Paperback
₹3,749
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 2001, Constraints in Computational Logics: International Summer School by Hubert Comon, Claude Marche & others runs to 309 pages in paperback.
Its main subjects are Logic programming, Constraint programming (Computer science), Logic design and Symbolic and mathematical Logic.
About the author: Gerhard Goos (1937–2020).
Book details
- ISBN-13
- 9783540419501
- ISBN-10
- 3540419500
- Authors
- Hubert Comon, Claude Marche, Ralf Treinen
- Publisher
- Springer
- Author dates
- Gerhard Goos (1937–2020)
- Published
- 2001
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 309
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Hubert Comon and related titles
Term Rewriting
Hubert Comon, Jean-Pierre Jouannaud
₹5,490
Rewriting Techniques and Applications
Hubert Comon
₹5,552
Functional and Logic Programming
Zhenjiang Hu
₹4,856
Models in Software Engineering
Sudipto Ghosh
₹5,573
Logic Program Synthesis and Transformation
International Workshop on Logic Program Synthesis and Transformation (1991 University of Manchester)
₹5,130
Grid Computing
Radu Prodan, Thomas Fahringer
₹2,963
Algebraic and Algorithmic Aspects of Differential and Integral Operators
Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz
₹3,781
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
₹5,271
Stacs 86
B. Monien, G. Vidal-Naquet
₹3,966
Logics in AI
David Pearce, Gerd Wagner
₹5,584
Dag Prawitz on Proofs and Meaning
Heinrich Wansing
₹7,740