To main content
Lectures
2012
Qualitative theory of algorithms
Summer School "Contemporary Mathematics", Dubna
July 21, 2012
2009
Выразимость и разрешимость
Летняя школа «Современная математика», г. Дубна
22 июля 2009 г.