НАН РА. Математические вопросы кибернетики и вычислительной техники=Mathematical problems of computer science

Сложность выводимости некоторых пропозициональных формул

Хачатрян, М. А. (1982) Сложность выводимости некоторых пропозициональных формул. Математические вопросы кибернетики и вычислительной техники, № 10. pp. 103-123.

[img]
Preview
PDF
Download (3032Kb) | Preview
    Item Type: Article
    Additional Information: Որոշ ասույթային բանաձևերի արտածման բարդությունը։
    Uncontrolled Keywords: Խաչատրյան Մ. Հ.
    Subjects: Q Science > QA Mathematics
    Divisions: UNSPECIFIED
    Depositing User: FSL Bibl. Dept.
    Date Deposited: 22 Apr 2014 14:00
    Last Modified: 08 Aug 2014 12:48
    URI: http://compsci.asj-oa.am/id/eprint/119

    Actions (login required)

    View Item