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

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

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

2006

Հատոր:

27

ISSN:

0131-4645

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

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

Վերնագիր:

Decidable singular theories of two successor functions with an extra predicate

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

Հետևեցման երկու ֆունկցիաներով և լրացուցիչ պրեդիկատով լուծելի սինգուլար տեսություններ; Разрешимые сингулярные теории с двумя функциями следования и с дополнительным предикатом

Ստեղծողը:

L. P. Lisovik

Խորագիր:

Mathematics

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

Լիսովիկ Լ. Պ. ; Лисовик Л. П.

Ծածկոյթ:

63-73

Հրատարակիչ:

Изд-во НАН РА

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

2006-10-10

Տեսակ:

Հոդված

Ձեւաչափ:

pdf

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

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