Вычислимость введение в теорию рекурсивных функций

Найджел Катленд

27392

Издателство

Мир

Местоиздаване

Москва

Година на издаване

1983

Страници

256 с.

Класификационен индекс

УДК	Значение
517.5	Теория на функциите
681.3.06	Програмиране. Езици за програмиране. Програмно осигуряване (Софтуер)

Ключови думи

функции

Отрасъл

Математика

Системен №

26226

Допълнителна сигнатура

К 461

Инвентаризация

Статус	Брой
Заемна I етаж (16171 - (З1)	2

Катленд, Н. Вычислимость введение в теорию рекурсивных функций. Москва: Мир, 1983 256 с.

Катленд, Н. (1983) Вычислимость введение в теорию рекурсивных функций, Москва: Мир 256 с.

Катленд, Н. (1983). Вычислимость введение в теорию рекурсивных функций. Москва: Мир, 256 с.

Катленд Н. Вычислимость введение в теорию рекурсивных функций. Москва: Мир; 1983. p. 256 с.