Об SLDNF- резолюции в логическом программировании с отрицанием : Автореферат ... канд. физико-математических наук по спец. 01.01.09 - "Математическая кибернетика и математическая логика" /
Саркисян, Лусине Арамаисовна
Об SLDNF- резолюции в логическом программировании с отрицанием : Автореферат ... канд. физико-математических наук по спец. 01.01.09 - "Математическая кибернетика и математическая логика" / SLDNF -ռեզոլյուցիայի մասին ժխտումով տրամաբանական ծրագրավորման մեջ ։ Սեղմագիր՝ Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման / Л.А. Саркисян ; Ереванский государственный университет. - Ереван, 2012. - 19 с. ։ 21 см.
Научный руководитель: д.ф.-м.н. С.А. Нигиян ; Официальные оппоненты: д.ф.-м.н. Ю.М. Мовсисян, к.ф.-м.н. Л.О. Хачоян ; Ведущая организация: Институт проблем информатики и автоматизации НАН РА:
Библиогр. в конце кн.
Физико-математические науки
Математическая кибернетика и математическая логика
Սեղմագրեր
Об SLDNF- резолюции в логическом программировании с отрицанием : Автореферат ... канд. физико-математических наук по спец. 01.01.09 - "Математическая кибернетика и математическая логика" / SLDNF -ռեզոլյուցիայի մասին ժխտումով տրամաբանական ծրագրավորման մեջ ։ Սեղմագիր՝ Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման / Л.А. Саркисян ; Ереванский государственный университет. - Ереван, 2012. - 19 с. ։ 21 см.
Научный руководитель: д.ф.-м.н. С.А. Нигиян ; Официальные оппоненты: д.ф.-м.н. Ю.М. Мовсисян, к.ф.-м.н. Л.О. Хачоян ; Ведущая организация: Институт проблем информатики и автоматизации НАН РА:
Библиогр. в конце кн.
Физико-математические науки
Математическая кибернетика и математическая логика
Սեղմագրեր