Հայաստանի ատենախոսությունների բաց մատչելիության պահոց = Open Access Repository of the Armenian Electronic Theses and Dissertations (Armenian ETD-OA) = Репозиторий диссертаций Армении открытого доступа

Исследования сложностей выводов в формальных системах

Алексанян, Сона Рафиковна (2009) Исследования сложностей выводов в формальных системах. PhD thesis, Ереванский государственный университет.

Full text not available from this repository.
Item Type: Thesis (PhD)
Additional Information: Ֆորմալ համակարգերում արտածումների բարդությունների հետազոտում: Investigations of proof complexities in formal systems.
Uncontrolled Keywords: Ալեքսանյան Սոնա Ռաֆիկի, Aleksanyan Sona
Subjects: Physics
Divisions: UNSPECIFIED
Depositing User: NLA Circ. Dpt.
Date Deposited: 14 Jul 2017 14:00
Last Modified: 17 Jul 2017 12:44
URI: http://etd.asj-oa.am/id/eprint/5271

Actions (login required)

View Item