Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
Faculty of Informatics and Applied Mathematics
:
>
Anahit Chubaryan , Artur Khamisyan, Garik Petrosyan
On some systems for two versions of many-valued logics
2017 | Book
LAP (Lambert Academic Publishing). 2017, 73 p.
H. H. Tepanyan, P. A. Petrosyan
Interval edge-colorings of composition of graphs
2017 | Article
Discrete Applied Mathematics. 2017, 217, pp. 368-374
Chubaryan A. A. , Tshitoyan A. S.
On some propositional proof systems for various logics
2017 | Article
Sciences of Europe. 2017, 11 (11), pp. 26-29
|
Chubaryan A. A. , Petrosyan G. W.
Some notes on proof complexities in Frege systems
2017 | Article
Sciences of Europe. 2017, Vol.1,#12 (12), pp. 31-34
|
Chubaryan Anahit , Khamisyan Artur
Generalization of Kalmar’s proof of deducibility in two valued propositional logic into many valued logic
2017 | Article
Pure and Applied Mathematics. 2017, Vol.6, No. 2, pp. 71-75
|
Г. Г. Геворкян, К. А. Навасардян
Об одном методе суммирования рядов по системам Виленкина и Хаара
2017 | Article
ՀՀ ԳԱԱ զեկույցներ: 2017թ․, 117, 1, 20-25 էջ, Հայաստան
О регулярных касательных конусах
2017 | Article
Известия НАН Армении: Математика. 2017, т.52, н.2, pp. 65-77
|
Hakop Hakopian, Vahagn Bayramyan
On a new property of n-poised and GCn sets
2017 | Article
Advances in Computational Mathematics. 2017, 43, pp. 607-626
P. A. Petrosyan , H. H. Khachatrian
Further results on the deficiency of graphs
2017 | Article
Discrete Applied Mathematics. 2017, 226, pp. 117-126
On Regular Tangent Cones
2017 | Article
Journal of Contemporary Mathematical Analysis (Armenian Academy of Sciences). 2017, Vol 52, No2, pp. 61-67