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

О методе нахождения точных оценок длин выводов в системах Туэ

Адян, С. И. (2012) О методе нахождения точных оценок длин выводов в системах Туэ. Математические вопросы кибернетики и вычислительной техники, № 38. p. 7. ISSN 0131-4645

[img] PDF
Download (104Kb)
    Item Type: Article
    Subjects: Q Science > QA Mathematics
    Divisions: UNSPECIFIED
    Depositing User: FSL Bibl. Dept.
    Date Deposited: 14 May 2014 15:40
    Last Modified: 23 Oct 2014 14:05
    URI: http://compsci.asj-oa.am/id/eprint/384

    Actions (login required)

    View Item