Вып. 134: Сложность вычислений и прикладная математическая логика

Bibliographic Details
Parent link:	Вопросы кибернетики: сборник статей/ Академия наук СССР (АН СССР), Научный совет по комплексной проблеме "Кибернетика". Вып. 134: Сложность вычислений и прикладная математическая логика.— : [Б. и.], 1975-.— 0134-6388
Other Authors:	Адян С. И. (340)
Published:	1988
Subjects:	математическая логика интерпретация векторное сложение достижимость доказуемость предикатные логики конечные автоматы свободные группы элементарная теория фрагменты графы с метками восстановление системы уравнений
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=259481

Similar Items