Journal or Publication Title:

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

Date of publication:

2006

Volume:

27

ISSN:

0131-4645

Additional Information:

սեղմիր այստեղ կապին հետևելու համար

Title:

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

Other title:

Evidential paradigm and processing of mathematical texts by SAD system; «Էվիդենցիալ պարադիգմա» և մաթեմատիկական տեքստերի մշակում ավտոմատացված ապացույցների համակարգում

Creator:

А. В. Лялецкий ; П. П. Процик

Subject:

Mathematics ; Computer software

Uncontrolled Keywords:

Lyaietsky A. V. ; Protsik P. P. ; Լյալեցկի Ա. Վ. ; Պռոցիկ Պ. Պ.

Coverage:

74-89

Publisher:

Изд-во НАН РА

Date created:

2006-10-10

Type:

Статья

Format:

pdf

Location of original object:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան