Поздравляем Михаила Рыбакова с защитой докторской диссертации

20 ноября Михаил Рыбаков защитил докторскую диссертацию на тему «Моделирование логических систем средствами их фрагментов».

С текстом диссертации, резюме и материалами по защите можно ознакомиться по ссылке.