Lecture "Quantifier Elimination (2+2)" (WS 2011), course number: 57518

Lecturers

• Sturm, Thomas

Slides

• 2012-02-05

• Automated Reasoning:
• Lecturers
• Start
• When and Where
• Prerequisites
• Exercises
• Literature
• Registration
• Certificate
• Grading
• Previous AR Lectures