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

Эвиденциальная парадигма и обработка математических текстов в системе САД

Лялецкий, А. В. and Процик, П. П. (2006) Эвиденциальная парадигма и обработка математических текстов в системе САД. Математические вопросы кибернетики и вычислительной техники, № 27. pp. 74-89. ISSN 0131-4645

[img] PDF
Download (1580Kb)
    Item Type: Article
    Additional Information: Evidential paradigm and processing of mathematical texts by SAD system. «Էվիդենցիալ պարադիգմա» և մաթեմատիկական տեքստերի մշակում ավտոմատացված ապացույցների համակարգում։
    Uncontrolled Keywords: Lyaietsky A. V., Protsik P. P., Լյալեցկի Ա. Վ., Պռոցիկ Պ. Պ.
    Subjects: Q Science > QA Mathematics > Computer software
    Divisions: UNSPECIFIED
    Depositing User: FSL Bibl. Dept.
    Date Deposited: 29 May 2014 15:23
    Last Modified: 14 Oct 2014 10:20
    URI: http://compsci.asj-oa.am/id/eprint/564

    Actions (login required)

    View Item