Алгоритмическая гипотеза Кука как следствие теоремы максимума символической информации / Проскуряков М.Н.
Язык: русский.Выходные данные: Москва : Репро Галерея, 2012Физическая характеристика: 7, [1] с. ; 20 см.Библиография: Библиогр. в конце кн.: (6 назв.).Предметная рубрика - Тема: Исчисление высказываний -- Теория доказательств Другие классификации: В123 Тип экземпляра: КнигаНет реальных экземпляров для этой записи
Библиогр. в конце кн.: (6 назв.)