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

О сложностных характеристиках выводов в системах исчисления предикатов и формальной арифметики

Чубарян, А. А. (1982) О сложностных характеристиках выводов в системах исчисления предикатов и формальной арифметики. Математические вопросы кибернетики и вычислительной техники, № 10. pp. 124-140.

[img]
Preview
PDF
Download (2324Kb) | 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:05
    Last Modified: 19 Aug 2014 12:08
    URI: http://compsci.asj-oa.am/id/eprint/120

    Actions (login required)

    View Item