Automated Reasoning
CS 537 (3)Both theoretical foundations of and practical issues in automated reasoning will be covered. Students will read selected papers for class discussion and will be required to do a term project.
Prerequisite: 561
Prerequisites / Corequisites
Algorithms/Data Structure - CS 561
Course Search:
Keyword Search:
Office of the Registrar
MSC11 6325
1 University of New Mexico
Albuquerque, NM 87131
Phone: (505) 277-8900
Fax: (505) 277-6809