Automated Reasoning Systems

The course will consist of tutorials on automated reasoning systems.

Organization

Summer Semester 2007.

• Number: 326097
• Title: Automated Reasoning Systems
• Lecturer: Temur Kutsia
• Time: 15:00--16:30
• Place: HA 105 (Hagenberg seminar room).

Registration

Please register for the course via the KUSSS system.

Materials

Lecture 1

---

Maintained by Temur Kutsia

---