Пр31 Пр31/161 Пр31/161 / Пр31/161-02 Обобщенная вычислимость и определимость : сборник / Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С.Л. Соболева; Науч. ред.: Ершов Ю.Л., Гончаров С.С. - Новосибирск : [б. и.], 1998. - 175 с. - (Вычислительные системы, ISSN 0568-661X ; 161). - Библиогр. в конце ст. - Рубрики: Вычислимость в математической логике Булево программирование Дескрипторы: сб пр -- сб Доп.точки доступа: Ершов, Ю.Л. \ред.\; Гончаров, С.С. \ред.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |