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

Browse by Person

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 6.

Цейтин, Г. С. and Чубарян, А. А. (1972) Некоторые оцинки длин логических выводов в классическом исчислении высказываний. ՀՍՍՀ ԳԱ Զեկույցներ, 55 (1). pp. 10-12.

Чубарян, А. А. and Читоян, А. С. and Хамисян, А. А. (2016) О некоторых системах доказательств для многозначных логик и сложностях выводов в них. ՀՀ ԳԱԱ Զեկույցներ, 116 (2). pp. 108-114. ISSN 0321-1339

Чубарян, А. А. (2000) О нижних оценках выводов в системах Фреге с подстановками. ՀՀ ԳԱԱ Զեկույցներ, 100 (3). pp. 223-227. ISSN 0321-1339

Чубарян, А. А. and Болибекян, О. Р. (2002) О секвенциальных системах слабых арифметик. ՀՀ ԳԱԱ Զեկույցներ, 102 (3). pp. 214-218. ISSN 0321-1339

Чубарян, А. А. (1977) О сложности выводов в формальной арифметике и исчислении предикатов. ՀՍՍՀ ԳԱ Զեկույցներ, 64 (4). pp. 193-196.

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

This list was generated on Fri Jun 23 00:36:28 2017 AMT.