ЖДТУ Бібліотека Електронний каталог
 
Лялецкий А.А.
Новые доказательства важных теорем бестипового экстенсионального исчисления

Вид документа: Стаття періодичного видання
Рiк видання: 2014
Автор: Лялецкий А.А. Вид автора: персона
Мова: Російська Обсяг: С.53-63
Шифр: 519.7 УДК: 519.7
Аннотацiя:бестиповое эктенсиональное исчисление, откладывание редукции, теорема о нормальной форме, теорема нормализации для редукции
Є складовою частиною документа: Кибернетика и системный анализ
Карта Сайту

© Житомирський державний технологiчний університет