Ամսագրի կամ հրապարակման վերնագիր:

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

Հրապարակման ամսաթիւ:

2006

Հատոր:

27

ISSN:

0131-4645

Լրացուցիչ տեղեկութիւն:

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

Վերնագիր:

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

Այլ վերնագիր:

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

Ստեղծողը:

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

Խորագիր:

Mathematics ; Computer software

Չվերահսկուող բանալի բառեր:

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

Ծածկոյթ:

74-89

Հրատարակիչ:

Изд-во НАН РА

Ստեղծման ամսաթիւը:

2006-10-10

Տեսակ:

Статья

Ձեւաչափ:

pdf

Բնօրինակին գտնուելու վայրը:

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