Your search returned 3 results.

Not what you expected? Check for suggestions

Results
1.	Image from Amazon.com	The calculus of computation decision procedures with applications to verification by Bradley, Aaron R Zohar Manna Material type: Text Publication details: New Delhi ; Springer ; 2007 Availability: Items available for loan: AMRITA SCHOOL OF ENGINEERING (1)Location, call number: CS110-R4 004.8:510.647 P72. Place hold Save to lists Add to cart (remove)
2.	Image from Amazon.com	Logic for learning learning comprehensible theories from structured data by Lloyd, J W Series: Cognitive technologies Material type: Text Publication details: New York ; Springer ; 2003 Availability: Items available for reference: AMRITA SCHOOL OF ENGINEERING: Not for loan (1)Location, call number: RF27-R3 004.421 P31. Save to lists Add to cart (remove)
3.	Image from Amazon.com	Discrete structures , logic, and computability by Hein, James L Edition: 3 Material type: Text Publication details: Jones and Bartlett ; New Delhi ; 2010 Availability: Items available for reference: AMRITA SCHOOL OF ENGINEERING: Not for loan (1)Location, call number: A19-A-R2 519.6Q07. Save to lists Add to cart (remove)