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

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

Ներբեռնել

Վերնագիր: Эвиденциальная парадигма и обработка математических текстов в системе САД

Հատոր:

ISSN:

0131-4645

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

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

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

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

Ծածկոյթ:

74-89

Հրատարակիչ:

Изд-во НАН РА

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

2006-10-10

Ձեւաչափ:

pdf

Նոյնացուցիչ:

oai:arar.sci.am:258503

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

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

Խորագիր և բանալի բառեր:

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

Նիւթին հաւաքածոները:

Digital Library > Յօդուածներ

Վերջին անգամ ձեւափոխուած է:

Dec 8, 2023

Մեր գրադարանին մէջ է սկսեալ:

Jul 24, 2020

Նիւթին բովանդակութեան հարուածներուն քանակը:

Նիւթին բոլոր հասանելի տարբերակները:

https://arar.sci.am/publication/281576

Ցոյց տուր նկարագրութիւնը RDF ձեւաչափով:

RDF

Ցոյց տուր նկարագրութիւնը OAI-PMH ձեւաչափով։

OAI-PMH

ՀՀ ԳԱԱ Շարունակական հրատարակություններ

Հրատարակութեան անունը	Թուական
Эвиденциальная парадигма и обработка математических текстов в системе САД	Dec 8, 2023

Նիւթ

Վերնագիր: Эвиденциальная парадигма и обработка математических текстов в системе САД

Ստեղծողը:

Տեսակ:

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

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

Հատոր:

ISSN:

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

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

Ծածկոյթ:

Հրատարակիչ:

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

Ձեւաչափ:

Նոյնացուցիչ:

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

Խորագիր և բանալի բառեր:

Նիւթին հաւաքածոները:

Վերջին անգամ ձեւափոխուած է:

Մեր գրադարանին մէջ է սկսեալ:

Նիւթին բովանդակութեան հարուածներուն քանակը:

Նիւթին բոլոր հասանելի տարբերակները:

Ցոյց տուր նկարագրութիւնը RDF ձեւաչափով:

Ցոյց տուր նկարագրութիւնը OAI-PMH ձեւաչափով։

Օբյեկտի տեսակ՝

Նման

Կապին մանրամասները

Հասցէ

Հեռաձայն

Ել-նամակ

Այցելեցէք մեզ։