կապին հետեւելուն համար սեղմէ հոս
oai:arar.sci.am:258173
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Aug 18, 2025
Jul 24, 2020
16
https://arar.sci.am/publication/281200
Հրատարակութեան անունը | Թուական |
---|---|
О сложностных характеристиках выводов в системах исчисления предикатов и формальной арифметики | Aug 18, 2025 |
Н. Г. Казарян С. А. Сукиасян
С. Д. Саркисян
Р. А. Оганян А. Г. Пилипосян
И. Д. Заславский
Г. С. Цейтин А. А. Чубарян
Чубарян, А. А. Азизян, А. С. Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) Մ․ Մ․ Ջրբաշյան (1960-1965) Ա․ Գ․ Նազարով (1966-1983) Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) Վ․ Ս․ Զաքարյան (2005-2018) Ռ․ Մ․ Մարտիրոսյան (2018-)
Апинян, Л. A. Чубарян, А. A. Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) Մ․ Մ․ Ջրբաշյան (1960-1965) Ա․ Գ․ Նազարով (1966-1983) Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) Վ․ Ս․ Զաքարյան (2005-2018) Ռ․ Մ․ Մարտիրոսյան (2018-)