Пошуковий запит: (<.>U=З970.5-018$<.>) |
Загальна кількість знайдених документів : 64
Представлено документи з 1 до 20
|
| | |
1.  |
ДС40244
Данг Чыонг Шон
Разработка интеллектуальной системы программирования [Текст] : дис...канд.физ.-мат.наук:05.13.11 / Данг Чыонг Шон ; Молдавский ун-т. - Кишинев, 1992. - 95 л. - Библиогр.:л.87-95Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Молдавский университет
Видання зберігається у :
Основний фонд
|
| 2. |
ДС49150
Гринченко, Тамара Алексеевна.
Методы и средства представления и обработки символьной информации в интеллектуальных вычислительных системах [Текст] : дис...д-ра физ.-мат. наук: 05.13.17 / Гринченко Тамара Алексеевна ; Киевская городская гос. администрация, Институт прикладной информатики. - К., 1994. - 286 л.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Киевская городская гос. администрация; Институт прикладной информатики (Киев)
Видання зберігається у :
Основний фонд
|
| 3. |
ДС69945
Кондратенко, Виктория Александровна.
Аксиоматические модели и методы проектирования лингвистических трансляторов [Текст] : дис... канд. физ.-мат. наук: 01.05.03 / В.А.Кондратенко ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2001. - 130 л. - Библиогр.: л. 125-130Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
| 4. |
РА338265
Амбарцумян, Арам Марленович.
Об интерпретаторах систем логического программирования [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.04 / Амбарцумян Арам Марленович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2005. - 14 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Институт проблем информатики и автоматизации НАН РА
Видання зберігається у :
Основний фонд
|
| 5. |
РА290429
 Грінченко, Тамара Олексіївна.
Методи та засоби репрезентації і обробки символьної інформації в інтелектуальних обчислювальних системах [Текст] : автореф. дис... д-ра фіз.-мат. наук: 05.13.17 / Грінченко Тамара Олексіївна ; Інститут прикладної інформатики. - К., 1994. - 47 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Інститут прикладної інформатики (Київ)
Видання зберігається у :
Основний фонд
|
| 6. |
РА314190
Кондратенко, Вікторія Олександрівна.
Аксіоматичні моделі і методи проектування лінгвістичних трансляторів [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Кондратенко Вікторія Олександрівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2001. - 16 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
| 7. |
В342379/Ч. 1
Методичні вказівки до виконання лабораторних робіт з дисциплін "Мікропроцесори та програмне забезпечення інтелектуальних систем" [Текст] / Вінницький держ. технічний ун-т. - Вінниця, 1998 .
Ч. 1 : Операційна система Unix для студ. бакалаврських напрямків 6.0915 та 6.0804 / уклад. О. М. Хошаба. - Вінниця : [б.в.], 1998. - 42 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Хошаба, Олександр Мирославович (уклад.); Вінницький держ. технічний університет
Видання зберігається у :
Основний фонд
|
| 8. |
ВА588670
Програмування в Пролозі [Текст] : навч. посібник для студ. ф-ту кібернетики / М. М. Глибовець [и др.] ; Київський ун-т ім. Тараса Шевченка. - К. : Київський ун-т, 1998. - 110 с. - ISBN 966594072-4Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Глибовець, Микола Миколайович; Кравченко, Іван Васильович; Олецький, Олексій Віталійович; Терещенко, Василь Миколайович; Київський університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 9. |
Р85530
Методичні вказівки до виконання лабораторних робіт з курсу "Логічне програмування" [Текст] : для студ. спец. 7.080401 "Інформаційні управляючі системи та технології", 7.080403 "Програмне забезпечення автоматизованих систем" і 7.091501 "Комп'ютерні системи і мережі" / Черкаський інженерно- технологічний ін-т ; уклад. Ж. М. Плакасова. - Черкаси : [б.в.], 1999. - 15 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Плакасова, Жанетта Миколаївна (уклад.); Черкаський інженерно-технологічний інститут
Видання зберігається у :
|
| 10. |
ВА633711
Серов, Владимир Васильевич.
Алгоритмические языки в САПР. Логическое программирование [Текст] : учеб. пособие / В. В. Серов ; Российский заочный ин-т текстильной и легкой промышленности. Кафедра информатики. - М. : [б.и.], 2001. - 50 с.: рис. - ISBN 5-85507-199-5
Авт. указ. на обор. тит. л.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Российский заочный институт текстильной и легкой промышленности. Кафедра информатики
Видання зберігається у :
Основний фонд
|
| 11. |
В343227/Ч. 2
Устенко, Сергій Анатолійович
Функціональне та логічне програмування [Текст] : навч. посіб. / С. А. Устенко. - Миколаїв : Український держ. морський технічний ун-т, 1998 .
Ч. 2 : Логічне програмування. - [Б. м.] : [б.в.], 1998. - 50 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Український держ. морський технічний університет
Видання зберігається у :
Основний фонд
|
| 12. |
ВА602364
Методы проектирования символьных процессоров [Текст] / В. Я. Жихарев [и др.] ; ред. В. Я. Жихарев. - Х. : Факт, 2000. - 184 с. - ISBN 966-637-008-5Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Жихарев, Владимир Яковлевич; Илюшко, Виктор Михайлович; Нечипорук, Николай Васильевич; Чумаченко, Игорь Владимирович; Жихарев, Владимир Яковлевич (ред.)
Видання зберігається у :
Основний фонд
|
| 13. |
Р88101
Устенко, Сергій Анатолійович.
Методичні вказівки до виконання лабораторних робіт з курсу "Функціональне та логічне програмування" [Текст] / С. А. Устенко, І. В. Устенко ; Український держ. морський технічний ун-т. - Миколаїв : УДМТУ, 1999. - 34 с.
На обкл. авт. не зазнач.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Устенко, Ірина Валеріївна; Український державний морський технічний університет (Миколаїв)
Видання зберігається у :
|
| 14. |
ВА612477
Методическое пособие для выполнения практических работ по языку Пролог [Текст] : для студ. физ.-мат. фак. КГПУ / сост. О. С. Амосов [и др.] ; Комсомольский-на-Амуре гос. педагогический ун-т. - Комсомольск-на-Амуре : Издательство КГПУ, 2000. - 62 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Амосов, О. С (сост.); Комсомольский-на-Амуре гос. педагогический университет
Видання зберігається у :
Основний фонд
|
| 15. |
ВА611944
Ободан, Наталія Іллівна.
Створення інтелектуальної системи [Текст] : навчальний посібник / Н. І. Ободан, Н. А. Гук ; Дніпропетровський національний ун-т. - Д. : РВВ ДНУ, 2001. - 84 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Гук, Наталія Анатоліївна; Дніпропетровський національний університет
Видання зберігається у :
Основний фонд
|
| 16. |
ВА615444
Программные средства интеллектуальных систем [Текст] / А. Е. Городецкий [и др.]. - СПб. : Изд-во СПбГТУ, 2000. - 171 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Городецкий, Андрей Емельянович; Дубаренко, Владимир Ваисльевич; Тарасова, Ирина Леонидовна; Шереверов, Александр Владимирович
Видання зберігається у :
Основний фонд
|
| 17. |
ВА617441
Шалыто, Анатолий Абрамович.
Логическое управление. Методы аппаратной и программной реализации алгоритмов [Текст] / А. А. Шалыто. - СПб. : Наука, 2000. - 780 с.: рис. - Библиогр.в конце ст. - ISBN 5-02-024884-3Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 18. |
ВА629065
Раскина, И. И..
Основы логического программирования [Текст] : учеб.-метод. пособие / И. И. Раскина, О. В. Шкабура ; Омский гос. педагогический ун-т. - Омск : Издательство ОмГПУ, 2001. - 161 с. - Библиогр.: с. 158-159. - ISBN 5-8268-0527-7Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Шкабура, О. В; Омский гос. педагогический университет
Видання зберігається у :
Основний фонд
|
| 19. |
ВА633731
Демидов, Андрей Константинович.
Функциональное и логическое программирование [Текст] : учеб. пособие / А. К. Демидов ; Южно-Уральский гос. ун-т. Кафедра "Прикладная математика". - Челябинск : Издательство ЮУрГУ, 2000. - 59 с. - Библиогр.: с. 58. - ISBN 5-696-01800-9Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Южно-Уральский гос. университет. Кафедра "Прикладная математика"
Видання зберігається у :
Основний фонд
|
| 20. |
ВА636476
Ашинянц, Р. А..
Логический язык программирования Пролог. Arity/Prolog. Прикладные задачи ИИ [Текст] / Р. А. Ашинянц. - М. : МГАПИ, 2001. - 302 с. - Библиогр.: с. 295. - ISBN 5-8068-0164-0Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача