000 | 01055nam a2200229 a 4500 | ||
---|---|---|---|
001 | 000924604 | ||
003 | AM-YeNLA | ||
005 | 20230719091039.0 | ||
008 | 121102s2012 |||||||||| |||||||rus|c | ||
040 | _aAM, AiYeEPHG | ||
041 | 0 | _arus | |
100 | 1 | _aСаркисян, Лусине Арамаисовна | |
245 | 1 | 0 |
_aОб SLDNF-резолюции в логическом программировании с отрицанием : _bДис. ... канд. физ.-мат. наук по спец.: 01.01.09- Математическая кибернетика и математическая логика / _cЛ.А. Саркисян. |
260 |
_aЕреван, _c2012. |
||
300 | _b82 с. | ||
502 | _aНауч. рук.: д-р физ.-мат. наук С.А. Нагиян ; Тема дис. утв. в Ерев. гос. ун-те | ||
504 | _aСписок лит. с 78-82 | ||
650 | 1 | 4 | _aМатематическая кибернетика |
650 | 1 | 4 | _aМатематическая логика |
655 | 7 | _aDissertation | |
999 |
_c1076621 _d1076621 |
||
942 | _cTH |