Journal or Publication Title:

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

Date of publication:

1982

Volume:

10

Additional Information:

click here to follow the link

Title:

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

Other title:

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

Creator:

А. А. Чубарян

Subject:

Математика

Uncontrolled Keywords:

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

Coverage:

124-140

Publisher:

АН Арм. ССР

Date created:

1982-10-10

Type:

Հոդված

Format:

pdf

Location of original object:

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