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