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

О некоторых оценках длин логических выводов в классическом исчислении высказываний

Цейтин, Г. С. and Чубарян, А. А. (1975) О некоторых оценках длин логических выводов в классическом исчислении высказываний. Математические вопросы кибернетики и вычислительной техники, № 8. pp. 57-64.

[img]
Preview
PDF
Download (1113Kb) | Preview
    Item Type: Article
    Additional Information: Ասույթների դասական հաշվի տրամաբանական արտածումների երկարության որոշ գնահատականների մասին։
    Uncontrolled Keywords: Ցեյտին Գ. Ս., Չուբարյան Ա. Ա.
    Subjects: Q Science > QA Mathematics
    Divisions: UNSPECIFIED
    Depositing User: FSL Bibl. Dept.
    Date Deposited: 18 Apr 2014 14:32
    Last Modified: 25 Jul 2014 10:10
    URI: http://compsci.asj-oa.am/id/eprint/90

    Actions (login required)

    View Item