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

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

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

1982

Հատոր:

10

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

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

Վերնագիր:

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

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

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

Ստեղծողը:

А. А. Чубарян

Խորագիր:

Математика

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

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

Ծածկույթ:

124-140

Հրատարակիչ:

АН Арм. ССР

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

1982-10-10

Տեսակ:

Հոդված

Ձևաչափ:

pdf

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

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