Пошуковий запит: (<.>U=З973-018.2$<.>) |
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5
|
1. | Вінник В.Ю. Еталонні моделі символьної обробки : Автореф. дис... канд. фіз.-мат. наук: 01.05.03 / В.Ю. Вінник / Київ. нац. ун-т ім. Т.Шевченка. — К., 2003. — 22 с. |
2. | Паскевич А.Ю. Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти : Автореф. дис... канд. фіз.-мат. наук: 01.05.01 / А.Ю. Паскевич / Київ. нац. ун-т ім. Т.Шевченка. — К., 2005. — 20 с. |
3. | Мейтус В.Ю. Категорні методи в теорії мовних перетворювачів : автореф. дис... д-ра фіз.-мат. наук: 01.05.03 / В.Ю. Мейтус / НАН України. Ін-т кібернетики ім. В.М.Глушкова. — К., 2008. — 27 с. |
4. | РА380282 Поляков С. А. Композиційна семантика ядра SQL-подібних мов : автореф. дис. ... канд. фіз.-мат. наук : 01.05.03 / С. А. Поляков / Київ. нац. ун-т ім. Т. Шевченка. — К., 2011. — 20 с.: табл. |
5. | Лялецький О.О. Неперервність функції в інтенсіональних моделях лямбда-подібних числень : автореф. дис... канд. фіз.-мат. наук: 01.05.01 / О.О. Лялецький / Київ. нац. ун-т ім. Т.Шевченка. — К., 2009. — 16 с. |