Архив защит

Дата (YYYY-MM)
Июн 17 2024
Исследование сложностей выводов в ряде известных и вновь построенных системах исчисления высказываний Ереванский государственный университет
Июн 22 2022
Реберные раскраски графов с минимальным количеством палитр Ереванский государственный университет
Янв 20 2022
Формальные системы неклассических логик и автоматическое доказательство теорем с использованием методов машинного обучения Ереванский государственный университет
Янв 20 2022
Интервальные раскраски графов с заранее заданными ограничениями Ереванский государственный университет
Июн 22 2021
Исследование некоторых количественных и структурных характеристик различных логических систем Ереванский государственный университет
Июн 22 2021
Исследование локально-сбалансированных разбиений графов Ереванский государственный университет
Июн 12 2019
Դիսկրետ կոմբինատոր խնդիրներ վերջավոր դաշտերում Երևանի պետական համալսարան
Июн 12 2019
Տիպիզացված ֆունկցիոնալ ծրագրերի իրականացման մասին Երևանի պետական համալսարան
Июн 12 2018
Տրամաբանական որոշ համակարգերում արտածումների բարդության գնահատականների ճշգրտում Երևանի պետական համալսարան
Июн 12 2018
Գծայնացվող ծածկույթներ վերջավոր դաշտերում Երևանի պետական համալսարան
Июн 09 2017
Գրաֆների միջակայքային կողային ներկումների հետազոտում Երևանի պետական համալսարան
Май 13 2017
Nostrification - 515 Օքսֆորդի համալսարան
Дек 14 2016
Գրաֆների ներկումներ լոկալ պայմաններով Երևանի պետական համալսարան
Мрт 30 2016
Գրաֆների միջակայքային տոտալ ներկումներ Երևանի պետական համալսարան
Июн 19 2015
Որոշ դասերի գրաֆների ճիշտ կողային ներկումների բազմության մեջ միջակայքային սպեկտրով գագաթների թվի էքստեմալ արժեքների մասին Երևանի պետական համալսարան