Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Image from Amazon.com	Automated reasoning introduction and application by "Wos, Larry" "Lusk, Ewing: Boyle, Jim" "Overbeek, Ross" Edition: 2 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York ; Mcgraw Hill ; 1991 Availability: Items available for loan: AMRITA SCHOOL OF BUSINESS (1)Location, call number: CS114--R1 004.89 N1. Place hold Save to lists Add to cart (remove)
	2.	Image from Amazon.com	Automation of reasoning by Wos, Larry Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York ; Academic Press ; 1996 Availability: Items available for reference: AMRITA SCHOOL OF ENGINEERING: Not for loan (1)Location, call number: RF32-R1 004.83 N60. Save to lists Add to cart (remove)

Central Library - Coimbatore