Lecture "Automated Reasoning", SS12 - Literature

Dictionary

• English-German dictionary of deduction-related terms: [pdf] [ps]

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