| 000 | 02235nam a2200253 a 4500 | ||
|---|---|---|---|
| 003 | AM-YeNLA | ||
| 005 | 20241111161227.0 | ||
| 008 | 110630s2007 ai ||||fra||||||1|||rus|| | ||
| 040 |
_aAM-YeNLA _brus |
||
| 041 | 0 | _arus | |
| 100 | 1 |
_aСаядян, Сергей Мушегович _9219808 |
|
| 245 | 1 | 0 |
_aИсследование сложностей выводов в системах неклассических логик : _bАвтореферат ... канд. физико-математических наук по спец. 01.01.09 - "Математическая кибернетика и математическая логика" / _cС.М. Саядян ; Институт проблем информатики и автоматизации НАН РА. |
| 246 | 1 | 1 |
_aՈչ դասական տրամաբանության համակարգերում արտածումների բարդության հետազոտում : _bՍեղմագիր՝ Ա.01.09 «Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման / |
| 260 |
_aЕреван, _c2007. |
||
| 300 |
_a19 с. ։ _c21 см. |
||
| 502 |
_aНаучный руководитель: к.ф.-м.н. А.А. Чубарян ; Официальные оппоненты: д.ф.-м.н. И.Д. Заславский, к.ф.-м.н. М.А. Хачатрян ; Ведущая организация: Российско-Армянский (Славянский) государственный университет: _cЕреванский государственный университет. _d20-го июля 2007г. |
||
| 504 | _aБиблиогр. в конце кн. | ||
| 650 | 1 | 4 | _aФизико-математические науки |
| 650 | 1 | 4 |
_aМатематическая кибернетика и математическая логика _9176221 |
| 655 | 7 |
_aՍեղմագրեր _985752 |
|
| 710 | 2 |
_aИнститут проблем информатики и автоматизации НАН РА _9176223 |
|
| 942 |
_cTH _2udc |
||
| 998 | _cKlara | ||
| 999 |
_c1600881 _d1600859 |
||