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

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

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

2012

Հատոր:

36

ISSN:

0131-4645

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

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

Վերնագիր:

The degree of unsolvability of the completion semantics for general logic programs

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

Ընդհանրացված տրամաբանական ծրագրերի փակման սեմանտիկայի անլուծելիության աստիճանը; Степень неразрешимости семантики замыкания обобщенных логических программ

Ստեղծողը:

Levon A. Haykazyan

Խորագիր:

Mathematics

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

Հայկազյան Լ. ; Айказян Л.

Ծածկոյթ:

7-12

Հրատարակիչ:

Изд-во НАН РА

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

2012

Տեսակ:

Հոդված

Ձեւաչափ:

pdf

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

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