Call us : 8147566330

Seller Name Trendypaper Incorporation
 
Seller Rating
0 out of 5
 
E-Mail Id info@trendypaper.com
 
City Bellary
 
State Karnataka
 
Contact No +91-80-50177775
The Calculus of Computation : Decision Procedures with Applications to Verification
Rs.  599.00  569.00 Out of stock
Bradley, Aaron R.
New Age International
384
English
9788184893960
 0 out of 5 reviews
5 %
Cash On Delivery
If you purchase below Rs 300.00 shipping charge will be applicable Rs 50.00 otherwise not applicable
24/08/2018
Return Not Accepted
Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories.
  Powered by SPM IT Solutions
Copyrights © 2018, trendypaper