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

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=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

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

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