Automated Reasoning: Essays in Honor of Woody Bledsoe (Automated Reasoning Series)
Publisher
Springer
Price not available for India
You can still browse on Amazon. Try another country above.
Book Details
