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