Пошуковий запит: (<.>U=З970.5-018$<.>) |
Загальна кількість знайдених документів : 64
Представлено документи з 1 до 20
|
| | |
| 1. | ДС40244 Данг Чыонг Шон Разработка интеллектуальной системы программирования [Текст] : Дис...канд.физ.-мат.наук:05.13.11 / Данг Чыонг Шон ; Молдавский ун-т. - Кишинев, 1992. - 95 л.
|
| 2. | ДС49150 Гринченко Т. А. Методы и средства представления и обработки символьной информации в интеллектуальных вычислительных системах [Текст] : Дис...д-ра физ.-мат. наук: 05.13.17 / Гринченко Тамара Алексеевна ; Киевская городская гос. администрация, Институт прикладной информатики. - К., 1994. - 286 л.
|
| 3. | ДС69945 Кондратенко В. А. Аксиоматические модели и методы проектирования лингвистических трансляторов [Текст] : Дис... канд. физ.-мат. наук: 01.05.03 / В.А.Кондратенко ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2001. - 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 Методичні вказівки до виконання лабораторних робіт з дисциплін "Мікропроцесори та програмне забезпечення інтелектуальних систем". Ч. 1:Операційна система Unix для студ. бакалаврських напрямків 6.0915 та 6.0804 [Текст] / уклад. О. М. Хошаба. - Вінниця : [б.в.], 1998. - 42 с.
|
| 8. | ВА588670 Програмування в Пролозі [Текст] : Навч. посібник для студ. ф-ту кібернетики / М. М. Глибовець [и др.] ; Київський ун-т ім. Тараса Шевченка. - К. : Київський ун-т, 1998. - 110 с.
|
| 9. | Р85530 Методичні вказівки до виконання лабораторних робіт з курсу "Логічне програмування" [Текст] : Для студ. спец. 7.080401 "Інформаційні управляючі системи та технології", 7.080403 "Програмне забезпечення автоматизованих систем" і 7.091501 "Комп'ютерні системи і мережі" / Черкаський інженерно- технологічний ін-т ; уклад. Ж. М. Плакасова. - Черкаси : [б.в.], 1999. - 15 с.
|
| 10. | ВА633711 Серов В. В. Алгоритмические языки в САПР. Логическое программирование [Текст] : Учеб. пособие / В. В. Серов ; Российский заочный ин-т текстильной и легкой промышленности. Кафедра информатики. - М. : [б.и.], 2001. - 50 с.: рис.
|
| 11. | В343227/Ч. 2 Устенко, Сергій Анатолійович Функціональне та логічне програмування. Ч. 2:Логічне програмування [Текст]. - [Б. м.] : [б.в.], 1998. - 50 с.
|
| 12. | ВА602364 Методы проектирования символьных процессоров [Текст] / В. Я. Жихарев [и др.] ; ред. В. Я. Жихарев. - Х. : Факт, 2000. - 184 с.
|
| 13. | Р88101 Устенко С. А. Методичні вказівки до виконання лабораторних робіт з курсу "Функціональне та логічне програмування" [Текст] / С. А. Устенко, І. В. Устенко ; Український держ. морський технічний ун-т. - Миколаїв : УДМТУ, 1999. - 34 с.
|
| 14. | ВА612477 Методическое пособие для выполнения практических работ по языку Пролог [Текст] : Для студ. физ.-мат. фак. КГПУ / сост. О. С. Амосов [и др.] ; Комсомольский-на-Амуре гос. педагогический ун-т. - Комсомольск-на-Амуре : Издательство КГПУ, 2000. - 62 с.
|
| 15. | ВА611944 Ободан Н. І. Створення інтелектуальної системи [Текст] : Навчальний посібник / Н. І. Ободан, Н. А. Гук ; Дніпропетровський національний ун-т. - Д. : РВВ ДНУ, 2001. - 84 с.
|
| 16. | ВА615444 Программные средства интеллектуальных систем [Текст] / А. Е. Городецкий [и др.]. - СПб. : Изд-во СПбГТУ, 2000. - 171 с.
|
| 17. | ВА617441 Шалыто А. А. Логическое управление. Методы аппаратной и программной реализации алгоритмов [Текст] / А. А. Шалыто. - СПб. : Наука, 2000. - 780 с.: рис.
|
| 18. | ВА629065 Раскина И. И. Основы логического программирования [Текст] : Учеб.-метод. пособие / И. И. Раскина, О. В. Шкабура ; Омский гос. педагогический ун-т. - Омск : Издательство ОмГПУ, 2001. - 161 с.
|
| 19. | ВА633731 Демидов А. К. Функциональное и логическое программирование [Текст] : Учеб. пособие / А. К. Демидов ; Южно-Уральский гос. ун-т. Кафедра "Прикладная математика". - Челябинск : Издательство ЮУрГУ, 2000. - 59 с.
|
| 20. | ВА636476 Ашинянц Р. А. Логический язык программирования Пролог. Arity/Prolog. Прикладные задачи ИИ [Текст] / Р. А. Ашинянц. - М. : МГАПИ, 2001. - 302 с.
|
| | |
Простий пошук
Віртуальна довідка