Your search returned 2 results.

Results
	1.	Computer-aided reasoning : an approach / by Matt Kaufmann, Panagiotis Manolios, J Strother Moore. by Kaufmann, Matt Manolios, Panagiotis Moore, J Strother, 1947- Series: Advances in formal methods ; 3 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston : Kluwer Academic Publishers, c2000 Online access: Publisher description Table of contents only Availability: Items available for loan: Informatics and Virtual Education Library Collection (2)Call number: QA76.9.F67 K38 2000, ... Place hold Add to cart (remove)
	2.	Vaughan & Asbury's general ophthalmology. by Vaughan, Daniel, 1921- Asbury, Taylor Lange Medical Books/McGraw-Hill Edition: 18th ed. Material type: Continuing resource; Format: print Publication details: New York : Lange Medical Books/McGraw-Hill, c2011 Other title: Vaughan and Asbury's general ophthalmology General ophthalmology Availability: Items available for loan: Earth Sciences and Engineering Library Collection (1)Call number: RE1 .G43 2011. Place hold Add to cart (remove)

Refine your search