Theory and Applications of Satisfiability Testing - SAT 2010
Ofer Strichman, Stefan Szeider
₹5,593
Decision Procedures
An Algorithmic Point of View
by Ofer Strichman, Daniel Kroening
Springer-Nature New York Inc · 2017
₹6,574
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
Decision Procedures: An Algorithmic Point of View is written by Ofer Strichman & Daniel Kroening. This edition from Springer-Nature New York Inc (2017) has 356 pages.
The book deals with Logic design, Artificial intelligence, Information theory and Computer science.
Book details
- ISBN-13
- 9783662504963
- ISBN-10
- 3662504960
- Authors
- Ofer Strichman, Daniel Kroening
- Publisher
- Springer-Nature New York Inc
- Published
- 2017
- Edition
- 2
- Pages
- 356
- Language
- English
- Condition
- New
- Subject
- Textbooks & Study Guides
More by Ofer Strichman and related titles
Guide to Software Development
Arthur M. Langer
₹4,368
Fault-Tolerant Message-Passing Distributed Systems
Michel Raynal
₹5,480
Ethical Choices
Richard Burnor, Yvonne Raley
₹9,279
A Sentimentalist Theory of the Mind
SLOTE
₹9,163
The Lambert W Function
Istvan Mezo
₹10,131
Adapting Human Thinking and Moral Reasoning in Contemporary Society
Hiroshi Yama, Veronique Salvano-Pardieu
₹12,321
Making Objects and Events
Simon J. Evnine
₹12,942
Rings and Their Modules
Paul E. Bland
₹5,947
Mann Matp
MANN
₹3,648
The Rule of Law in Comparative Perspective
M. N. S. Sellers
₹11,561
Chee-Hoo Lum, Ernst Wagner
Ernst Wagner Chee-Hoo Lum
₹3,306