ECS 274
Automated Deduction
University of California Davis · UGRD · Fall 2026
1 section
Catalog description
Course Description: Techniques of mechanical theorem proving. Methods based on resolution and termrewriting. Decision procedures. Induction. Applications to program verification, question/answering and plan generation. Study existing mechanical theorem provers.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #california_davis-2540Fall 2026UGRD4 credits
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?