ՀՀ ԳԱԱ Զեկույցներ =Reports NAS RA

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

Чубарян, А. А. and Налбандян, А. С. (2009) Сравнение эффективности систем Фреге с различными модификациями правила подстановки. ՀՀ ԳԱԱ Զեկույցներ, 109 (3). pp. 208-213. ISSN 0321-1339

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
2203Kb

Item Type:Article
Additional Information:Տարբեր մոդիֆիկացիաների տեղադրման կանոնով Ֆրեգեի համակարգերի էֆեկտիվության հետազոտում / Ա. Ա. Չուբարյան, Հ. Ս. Նալբանդյան։ Comparison of the efficiency of systems with different modifications of the substitution rule / A. A. Chubaryan, A. S. Nalbandyan.
Uncontrolled Keywords:система Фреге, сложность вывода, правила подстановки с ограничением на глубину, полиномиальная зквивалентность, зкспоненциальное ускорение
Subjects:Q Science > QA Mathematics
ID Code:4818
Deposited By:NAS Reports
Deposited On:04 Feb 2013 15:41
Last Modified:13 Mar 2014 08:16

Repository Staff Only: item control page