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:

103-123

Publisher:

АН Арм. ССР

Date created:

1982-10-10

Type:

Հոդված

Format:

pdf

Location of original object:

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