ՀՀ ԳԱԱ Զեկույցներ =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
Uncontrolled Keywords:Չուբարյան Ա. Ա., Նալբանդյան Հ. Ս.,Chubaryan A. A., Nalbandyan A. S., система Фреге, сложность вывода, правила подстановки с ограничением на глубину, полиномиальная зквивалентность, зкспоненциальное ускорение
Subjects:Q Science > QA Mathematics
ID Code:4818
Deposited By:NAS Reports
Deposited On:04 Feb 2013 15:41
Last Modified:21 Apr 2020 11:50

Repository Staff Only: item control page