Зведений каталог бібліотек Харкова

• Класифікатори та каталоги
• Моделі мов та мовних структур

Алгебрологічні моделі. Теоретико-множинні моделі

Документи:

• Математические модели парадигматических отношений и их применение для автоматической обработки русских текстов [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 "Управление в технических системах" / Харьк. ин-т радиоэлектроники. — Харьков, 1986. — 23 с.
• Неперервність функції в інтенсіональних моделях лямбда-подібних числень [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 "Теоретичні основи інформатики і кібернетики" / Київ. нац. ун-т ім. Т. Шевченка. — Київ, 2009. — 16 с.