Пошуковий запит: (<.>U=З970.5-018$<.>) |
Загальна кількість знайдених документів : 64
Представлено документи з 1 до 20
|
| | |
1.  |
РА290429
 Грінченко, Тамара Олексіївна.
Методи та засоби репрезентації і обробки символьної інформації в інтелектуальних обчислювальних системах [Текст] : автореф. дис... д-ра фіз.-мат. наук: 05.13.17 / Грінченко Тамара Олексіївна ; Інститут прикладної інформатики. - К., 1994. - 47 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Інститут прикладної інформатики (Київ)
Видання зберігається у :
Основний фонд
|
| 2. |
РА314190
Кондратенко, Вікторія Олександрівна.
Аксіоматичні моделі і методи проектування лінгвістичних трансляторів [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Кондратенко Вікторія Олександрівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2001. - 16 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 3. |
РА338265
Амбарцумян, Арам Марленович.
Об интерпретаторах систем логического программирования [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.04 / Амбарцумян Арам Марленович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2005. - 14 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Институт проблем информатики и автоматизации НАН РА
Видання зберігається у :
Основний фонд
|
| 4. |
РА382610
Афонін, Андрій Олександрович.
Повні методи пошуку виведення в системах логічного програмування [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Афонін Андрій Олександрович ; Київ. нац. ун-т ім. Т. Шевченка. - К., 2011. - 18 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 5. |
РА390370
Саркисян, Лусине Арамаисовна.
Об SLDNF-резолюции в логическом программировании с отрицанием [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Саркисян Лусине Арамаисовна ; Ереван. гос. ун-т. - Ереван, 2012. - 19 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Ереванский государственный университет
Видання зберігається у :
Основний фонд
|
| 6. |
РА390377
Айказян, Левон Аршалуйсович.
О некоторых алгоритмических проблемах логического программирования [Text] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Айказян Левон Аршалуйсович ; Ереван. гос. ун-т. - Ереван, 2012. - 18 с. - Текст вірм.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Ереванский государственный университет
Видання зберігається у :
Основний фонд
|
| 7. |
РА405326
Чухрай, Андрій Григорович.
Методологічні основи створення інтелектуальних комп'ютерних програм, які навчають виконанню алгоритмічних завдань [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.06 / Чухрай Андрій Григорович ; Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". - Х., 2014. - 40 с. : рис.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
"Харківський авіаційний інститут", національний аерокосмічний університет імені М. Є. Жуковського
Видання зберігається у :
Основний фонд
|
| 8. |
РА421487
Горбань, Гліб Валентинович.
Методи та об'єктно-орієнтована інформаційна технологія інтелектуального аналізу багатомірних даних [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Горбань Гліб Валентинович ; Чорномор. держ. ун-т ім. Петра Могили. - Миколаїв, 2016. - 24 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Чорноморський державний університет імені Петра Могили
Видання зберігається у :
Основний фонд
|
| 9. |
РА435381
Сагайда, Павло Іванович.
Алгоритмічні засоби та програмні компоненти комп'ютерних систем інтелектуальної обробки даних в організаційно-технічних комплексах [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.05 / Сагайда Павло Іванович ; Держ. ВНЗ "Донец. нац. техн. ун-т". - Покровськ, 2018. - 40 с. : рис.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Донецький національний технічний університет
Видання зберігається у :
Основний фонд
|
| 10. |
РА448231
Шуляков, Владислав Миколайович.
Інтелектуальна інформаційна система для управління динамічним нелінійним об'єктом на основі нейро-фаззі блоків управління [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Шуляков Владислав Миколайович ; Харків. нац. ун-т міськ. госп-ва ім. О. М. Бекетова. - Харків, 2021. - 23 с. : рис.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет міського господарства імені О. М. Бекетова
Видання зберігається у :
Основний фонд
|
| 11. |
ДС40244
Данг Чыонг Шон
Разработка интеллектуальной системы программирования [Текст] : дис...канд.физ.-мат.наук:05.13.11 / Данг Чыонг Шон ; Молдавский ун-т. - Кишинев, 1992. - 95 л. - Библиогр.:л.87-95Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Молдавский университет
Видання зберігається у :
Основний фонд
|
| 12. |
ДС49150
Гринченко, Тамара Алексеевна.
Методы и средства представления и обработки символьной информации в интеллектуальных вычислительных системах [Текст] : дис...д-ра физ.-мат. наук: 05.13.17 / Гринченко Тамара Алексеевна ; Киевская городская гос. администрация, Институт прикладной информатики. - К., 1994. - 286 л.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Киевская городская гос. администрация; Институт прикладной информатики (Киев)
Видання зберігається у :
Основний фонд
|
| 13. |
ДС69945
Кондратенко, Виктория Александровна.
Аксиоматические модели и методы проектирования лингвистических трансляторов [Текст] : дис... канд. физ.-мат. наук: 01.05.03 / В.А.Кондратенко ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2001. - 130 л. - Библиогр.: л. 125-130Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
| 14. |
ДС128253
Афонін, Андрій Олександрович.
Повні методи пошуку виведення в системах логічного програмування [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.01 / Афонін Андрій Олександрович ; Нац. ун-т "Києво-Могил. акад.". - К., 2011. - 118 арк. - Бібліогр.: арк. 114-118.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
"Києво-Могилянська академія", національний університет
Видання зберігається у :
Основний фонд
|
| 15. |
ДС140749
Чухрай, Андрей Григорьевич.
Методологические основы создания интеллектуальных компьютерных программ, обучающих выполнению алгоритмических заданий [Текст] : дис. ... д-ра техн. наук : 05.13.06 / Чухрай Андрей Григорьевич ; Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьков. авиац. ин-т". - Харьков, 2013. - 363 л. : рис., табл. - Бібліогр.: арк. 304-330.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
"Харьковский авиационный институт", национальный аэрокосмический университет имени Н. Е. Жуковского
Видання зберігається у :
Основний фонд
|
| 16. |
ІВ192877
Knowledge-based software engineering conference (8 ; 1993 ; Chicago).
The Eighth knowledge-based software engineering conference, September 20-23, 1993, Chicago, Illinois [Text] : proceedings / Rome laboratoey, USAF. - Los Alamitos, California[etc.] : IEEE computer soc. press, 1993. - VIII, 202 p.:ill. - 1068-3062 прим. - ISBN 0-8186-4100-2Рубрикатор НБУВ:
Географічні рубрики:
Дод. точки доступу:
Rome laboratoey, USAF
Видання зберігається у :
|
| 17. |
ІВ192878
Knowledge-based software engineering conference (9 ; 1994 ; Monterey).
The Ninth knowledge-based software engineering conference, September 20-23, 1974, Monterey,California [Text] : proceedings / Rome laboratory, USAF. - Los Alamitos, California[etc.] : IEEE computer soc. press, 1994. - VIII, 189 p.:ill. - 1068-3062 прим. - ISBN 0-8186-6380-4Рубрикатор НБУВ: Тематичні рубрики:
Географічні рубрики:
Дод. точки доступу:
Rome laboratory, USAF
Видання зберігається у :
|
| 18. |
В342379/Ч. 1
Методичні вказівки до виконання лабораторних робіт з дисциплін "Мікропроцесори та програмне забезпечення інтелектуальних систем" [Текст] / Вінницький держ. технічний ун-т. - Вінниця, 1998 .
Ч. 1 : Операційна система Unix для студ. бакалаврських напрямків 6.0915 та 6.0804 / уклад. О. М. Хошаба. - Вінниця : [б.в.], 1998. - 42 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Хошаба, Олександр Мирославович (уклад.); Вінницький держ. технічний університет
Видання зберігається у :
Основний фонд
|
| 19. |
ВА588670
Програмування в Пролозі [Текст] : навч. посібник для студ. ф-ту кібернетики / М. М. Глибовець [и др.] ; Київський ун-т ім. Тараса Шевченка. - К. : Київський ун-т, 1998. - 110 с. - ISBN 966594072-4Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Глибовець, Микола Миколайович; Кравченко, Іван Васильович; Олецький, Олексій Віталійович; Терещенко, Василь Миколайович; Київський університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 20. |
В343227/Ч. 2
Устенко, Сергій Анатолійович
Функціональне та логічне програмування [Текст] : навч. посіб. / С. А. Устенко. - Миколаїв : Український держ. морський технічний ун-т, 1998 .
Ч. 2 : Логічне програмування. - [Б. м.] : [б.в.], 1998. - 50 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Український держ. морський технічний університет
Видання зберігається у :
Основний фонд
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача