RUS  ENG
Полная версия
ЖУРНАЛЫ // Доклады Академии наук // Архив

Докл. АН СССР, 1970, том 190, номер 1, страницы 23–26 (Mi dan35117)

Эта публикация цитируется в 1 статье

МАТЕМАТИКА

О сложности перечисления и разрешения предикатов

М. И. Канович

Московский государственный университет имени М. В. Ломоносова

УДК: 517.11

Статья представлена к публикации: П. С. Новиков
Поступило: 15.05.1969



Реферативные базы данных:


© МИАН, 2024