Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
обчислення, вычисление = исчисление
исчисление экстенсиональное
Документи:
Лялецкий, А. А.
Новые доказательства важных теорем бестипового экстенсионального [лямбда]-исчисления [Текст] / А. А. Лялецкий // Кибернетика и системный анализ. – 2014. – Т. 50, № 4. – С. 53-63.
Інформаційно-пошукова система
'УФД/Бібліотека'
