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