
Computational Logic
A. C. Kakas, F. Sadri
₹4,475

New Techniques and Algorithms for Symbolic Program Analysis and Optimization
by Thomas Fahringer, Bernhard Scholz
Free delivery. Nothing extra to pay at checkout.
The publisher hasn't supplied a description for this edition. The details alongside are from the distributor's record.