Object structure

Publication Details:

"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:

Journal or Publication Title:

ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA

Date of publication:

2009

Volume:

109

Number:

3

ISSN:

0321-1339

Official URL:


Additional Information:

click here to follow the link

Title:

Сравнение эффективности систем Фреге с различными модификациями правила подстановки

Other title:

Տարբեր մոդիֆիկացիաների տեղադրման կանոնով Ֆրեգեի համակարգերի էֆեկտիվության հետազոտում / Ա. Ա. Չուբարյան, Հ. Ս. Նալբանդյան։ Comparison of the efficiency of systems with different modifications of the substitution rule / A. A. Chubaryan, A. S. Nalbandyan.

Creator:

А. А. Чубарян ; А. С. Налбандян

Contributor(s):

Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)

Subject:

Mathematics ; Science

Uncontrolled Keywords:

система Фреге ; сложность вывода ; правила подстановки с ограничением на глубину ; полиномиальная зквивалентность ; зкспоненциальное ускорение

Coverage:

208-213

Place of publishing:

Երևան

Publisher:

ՀՀ ԳԱԱ հրատ.

Date created:

2009-09-15

Type:

Հոդված

Format:

pdf

Call number:

АЖ 144

Digitization:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Location of original object:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան