| 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 | ||