Додати до списку

Є складовою частиною документа Кибернетика и системный анализ [Текст] : международный научно-теоретический журнал. – 2014. – Т. 50, № 4.

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

• Ключові слова/О/обчислення, вычисление = исчисление/исчисление экстенсиональное
• Ключові слова/Т/теорема/теорема Карри
• Ключові слова/Т/теорема/теорема нормализации
• Ключові слова/Т/теорема/теорема об откладывании