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

On some systems of minimal propositional logic with loop detection mechanisms

Bolibekyan, Hovhannes (2012) On some systems of minimal propositional logic with loop detection mechanisms. Математические вопросы кибернетики и вычислительной техники, № 38. pp. 42-43. ISSN 0131-4645

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

    Actions (login required)

    View Item