Main Page People Projects Courses Opportunites Affiliations Related Links	Courses CS537 - Automated Reasoning CS591 - Topics in Automated Reasoning (Kapur, Spring 1999)

Computer Science Department Farris Engineering Building University of New Mexico Albuquerque, NM 87131 Phone (505) 277-3112 Fax (505) 277-6927 Email: csinfo@cs.unm.edu