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

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

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

2006

Հատոր:

27

ISSN:

0131-4645

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

click here to follow the link

Վերնագիր:

Decidable singular theories of two successor functions with an extra predicate

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

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

Ստեղծողը:

L. P. Lisovik

Խորագիր:

Mathematics

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

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

Ծածկույթ:

63-73

Հրատարակիչ:

Изд-во НАН РА

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

2006-10-10

Տեսակ:

Հոդված

Ձևաչափ:

pdf

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

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