RUS
ENG
Полная версия
ЖУРНАЛЫ
// Доклады Академии наук
// Архив
Докл. АН СССР,
1970
, том 190,
номер 1,
страницы
23–26
(Mi dan35117)
Эта публикация цитируется в
1
статье
МАТЕМАТИКА
О сложности перечисления и разрешения предикатов
М. И. Канович
Московский государственный университет имени М. В. Ломоносова
УДК:
517.11
Статья представлена к публикации:
П. С. Новиков
Поступило: 15.05.1969
Полный текст:
PDF файл (535 kB)
Список цитирования
Реферативные базы данных:
©
МИАН
, 2024