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

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

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

1982

Հատոր:

10

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

click here to follow the link

Վերնագիր:

О сложностных характеристиках выводов в системах исчисления предикатов и формальной арифметики

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

Պրեդիկատների հաշվի և ձևային թվաբանության որոշ համակարգերի արտածումների բարդության բնութագրիչների մասին

Ստեղծողը:

А. А. Чубарян

Խորագիր:

Математика

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

Չուբարյան Ա. Ա.

Ծածկոյթ:

124-140

Հրատարակիչ:

АН Арм. ССР

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

1982-10-10

Տեսակ:

Հոդված

Ձեւաչափ:

pdf

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

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