Skip to main content
Side panel
CoReLab Courses
Home
Calendar
CoReLab Home
CoReLab Courses
Προπτυχιακά
Μεταπτυχιακά
Research
Seminar
People
Theses
More
English (en)
English (en)
Ελληνικά (el)
You are currently using guest access
Log in
CoReLab Courses
Home
Calendar
CoReLab Home
CoReLab Courses
Collapse
Expand
Προπτυχιακά
Μεταπτυχιακά
Research
Seminar
People
Theses
Expand all
Collapse all
Open course index
algo-grad2021
13 November - 19 November
13 November - 19 November
Section outline
The Complexity of Theorem-Proving Procedures, by Stephen A. Cook
Ομιλητής: Θωμάς Πιπιλίκας
Select activity Διαφάνειες
Διαφάνειες
File
Select activity Βίντεο παρουσίασης
Βίντεο παρουσίασης
URL