Полное описание

Cook, S. Functional interpretations of feasibly constructive arithmetic / S.Cook. - Toronto : [s. n.], 1988. - 70,16 p. p. : ill. - (Technical report / Univ. of Toronto ; n210/88). - Текст : непосредственный.
Библиогр.:с.69-70

ГРНТИ	УДК
27.41.23	519.6

Рубрики:
Сложность вычислений

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/9156/210/88)

Шифр в сводном ЭК: f1a5fe5ebc38d6d5b0fc63b1e7d8c3cd

Заказать издание
Заказ фрагмента документа ₽