Perspectives of System Informatics
Andrei Voronkov, Irina Virbitskaite
₹2,160
Rewriting Techniques and Applications
19th International Conference
Springer · 2008
₹5,690
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: 19th International Conference by Andrei Voronkov is a 455-page book published by Springer in 2008.
Topics covered include Logic design, Data processing, Computer science and Artificial intelligence.
Book details
- ISBN-13
- 9783540705888
- ISBN-10
- 3540705880
- Author
- Andrei Voronkov
- Publisher
- Springer
- Published
- 2008
- Pages
- 455
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Andrei Voronkov and related titles
Automated Deduction - Cade-18
Andrei Voronkov
₹5,649
Logic Programming
Andrei Voronkov
₹5,642
Perspectives of System Informatics
Andrei Voronkov
₹4,281
Logic Programming and Automated Reasoning
Andrei Voronkov
₹5,639
Perspectives of Systems Informatics
Andrei Voronkov, Irina Virbitskaite
₹5,647
Constraints in Computational Logics
Hubert Comon, Claude Marche, Ralf Treinen
₹3,749
Programming Languages and Their Definition
H. Bekic, C. B. Jones
₹5,518
Ultrascale Computing Systems
Jesús Carretero, Emmanuel Jeannot, Albert Y. Zomaya
₹12,132
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
₹1,900
Fundamentals of Artificial Intelligence
Wolfgang Bibel, A. W. Biermann
₹5,536
Computer Performance Evaluation and Benchmarking
David Kaeli
₹4,196