CS 537 - Automated Reasoning - 3 credit hours
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: 361L and 427 or 527.
Home | Colloquia | Research | People
Current Students | Prospective Students | Companies | Visitors
Scholarships | Courses | Degrees | PIBBS
Computer Facilities | Jobs | Links
Contact Info:
(505) 277-3112 (phone)
(505) 277-6927 (fax)
Web site questions:
All other questions:
(505) 277-3112 (phone)
(505) 277-6927 (fax)
Web site questions:
All other questions:
University of New Mexico
Department of Computer Science
Mail stop: MSC01 1130
1 University of New Mexico
Albuquerque, NM 87131-0001
Department of Computer Science
Mail stop: MSC01 1130
1 University of New Mexico
Albuquerque, NM 87131-0001
