РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР

Бази даних

Реферативна база даних - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Книжкові видання та компакт-диски (2)Автореферати дисертацій (1)Наукова періодика України (4)
Пошуковий запит: (<.>A=Лялецький О$<.>)
Загальна кількість знайдених документів : 8
Представлено документи з 1 до 8
1.

Асельдеров З. М. Дедуктивні, індуктивні та аналітичні методи подання і обробки комп'ютерних знань в інтелектуальних системах (1. Дедуктивні методи і засоби). — 2003 // Мат. машини і системи.
2.

Асельдеров З. М. Евіденціальна парадигма та обробка комп'ютерних математичних знань. — 2004 // Систем. дослідж. та інформ. технології.
3.

Лялецький О. О. Неперервність функції в інтенсіональних моделях лямбда-подібних числень : автореф. дис... канд. фіз.-мат. наук: 01.05.01. — К., 2009
4.

Лялецький О. О. Декартові властивості категорії умовно повних векторних решіток // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2012. - Вип. 3.
5.

Летичевський О. А. Алгоритм Очевидності Глушкова // Кибернетика и систем. анализ. - 2013. - 49, № 4.
6.

Лялецький О. В. Про формальний математичний текст і логічну та онтологічну коректності // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2014. - Вип. 1.
7.

Лялецький О. О. Елементарне доведення теореми нормалізації для beta eta-редукції // Вісн. Київ. нац. ун-ту. Сер. Фіз.-мат. науки. - 2014. - Вип. 1.
8.

Лялецький О. В. В. М. Глушков і автоматизація пошуку доведень теорем в Україні: алгоритм очевидності та системи САД i SAD // Мат. машини і системи. - 2020. - № 4.
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського