Сайт бібліотеки  >  Електронний каталог  >  Опис документа

Опис документа

Лялецкий А. А.
Новые доказательства важных теорем бестипового экстенсионального v-исчисления

Вид документа:  Складова частина документа 
Мова:  Російська  Обсяг:  С. 53-63 
УДК:  510.584 

Є складовою частиною документа Кибернетика и системный анализ [Текст] : междунар. науч.-теорет. журн. Т.50. № 4 / НАН Украины, Ин-т кибернетики им. В. М. Глушкова. — К, 2014.

Теми документа

• УДК/5 Математика та природничi науки/51 Математика/510 Фундаментальнi та загальнi проблеми математики/510.5 Алгоритми. Обчислювальні функції