Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
Faculty of Informatics and Applied Mathematics
:
>
О необходимых условиях экстремума для негладких функций
2017 | Thesis
Конструктивный негладкий анализ и смежные вопросы. 2017. стр. 90-92
Anahit Chubaryan , Artur Khamisyan
Application of Kalmar’s proof of deducibility in two valued propositional logic for many valued logic
2017 | Thesis
ASL, ESM, Logic Colloquium – 2017. p. 97
|
Anahit Chubaryan , Garik Petrosyan
On proof complexities for some classes of tautologies in Frege systems
2017 | Thesis
ASL, ESM, Logic Colloquium – 2017. p. 99
|
Anahit Chubaryan , Hakob Nalbandyan, Arman Karabakhtsyan , Garik Petrosyan
Propositional sequent systems of two valued classical logic and many valued logics are no monotonous17-08-14.html
2017 | Thesis
ASL, ESM, Logic Colloquium – 2017. p. 98
|
A. V. Harutyunyan , George Marinescu
Hankel and Berezin Type Operators on Weighted Besov Spaces of Holomorphic Functions on Polydiscs
2017 | Thesis
Modern Methods, Problems and Applications of Operator Theory and Harmonic Analysis. 2017, p. 14-16
|
Toeplitz operators on weighted Besov spaces of holomorphic functions on the polydisk
2017 | Thesis
International Mathematical Conference on Function Theory dedicated to the centenary of Aleksei Fedorovich Leont'ev. 2017. p. 187-188
|
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
|