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

Исследование сложностей выводов в системах неклассических логик

Саядян, Сергей Мушегович (2007) Исследование сложностей выводов в системах неклассических логик. PhD thesis, Институт проблем информатики и автоматизации НАН РА.

Full text not available from this repository.
Item Type: Thesis (PhD)
Additional Information: Ոչ դասական տրամաբանության համակարգերում արտածումների բարդության հետազոտում: An investigation of the proofs complexities in the systems of non classical logics.
Uncontrolled Keywords: Սայադյան Սերգեյ Մուշեղի, Sayadyan Sergey Mushegh
Subjects: Physics
Divisions: UNSPECIFIED
Depositing User: NLA Circ. Dpt.
Date Deposited: 10 Jan 2019 13:58
Last Modified: 14 Jan 2019 12:27
URI: http://etd.asj-oa.am/id/eprint/8532

Actions (login required)

View Item