Пошуковий запит: (<.>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
Рубрики:
Видання зберігається у :
Основний фонд
| |
| |