The University of New Mexico

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

MSC 11 6325
1 University of New Mexico
Albuquerque, NM 87131

Phone: (505) 277-8900
 Fax: (505) 277-6809