000 02375nam a2200277 a 4500
003 AM-YeNLA
005 20241023103553.0
008 110428s2011 ai a|||fra||||||1|||rus||
040 _brus
_aAM-YeNLA
041 0 _arus
080 _a01.01.09 (NLA)
100 1 _aНалбандян, Акоп Симонович
_9189911
245 1 0 _aЭффективность разновидностей правила подстановки для классических и неклассических логических систем :
_bАвтореферат ... канд. физико-математических наук по спец. 01.01.09 - "Математическая кибернетика и математическая логика" /
_cА.С. Налбандян ; Ереванский государственный университет.
246 1 1 _aՏեղադրության կանոնի տարատեսակների էֆեկտիվությունը դասական և ոչ դասական տրամաբանական համակարգերի համար :
_bՍեղմագիր՝ Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման /
260 _aЕреван,
_c2011.
300 _a20 с. ։
_c21 см.
_bрис. :
502 _aНаучный руководитель: д.ф.-м.н. А.А. Чубарян ; Официальные оппоненты: д.ф.-м.н. Г.Б. Мараранджян, к.ф.-м.н. О.Р. Болибекян ; Ведущая организация: Российско-Армянский (Славянский) университет:
_cИнститут проблем информатики и автоматизации НАН РА.
_d27-го мая 2011г.
504 _aБиблиогр. в конце кн.
650 1 4 _aФизико-математические науки
650 1 4 _aМатематическая кибернетика и математическая логика
_9176221
655 7 _aՍեղմագրեր
_985752
710 2 _aЕреванский государственный университет
942 _cTH
_2udc
998 _cNLAEDITA_34
998 _cKlara
999 _c1074142
_d1074142