Комплексний пошук у каталогах Національної бібілотеки України імені В. І. Вернадського

	Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox"

Вид пошуку

у знайденому

Знайдено в інших каталогах:
	Журнали та продовжувані видання (17)

Книжкові видання

Розширений пошук

Сортувати знайдені документи за:
автором	назвою	роком видання

Формат представлення знайдених документів:
повний	стислий

Пошуковий запит: (<.>U=З970.5-018$<.>)

Загальна кількість знайдених документів : 64
Представлено документи з 1 до 20

...

ДС40244

Данг Чыонг Шон

Разработка интеллектуальной системы программирования [Текст] : дис...канд.физ.-мат.наук:05.13.11 / Данг Чыонг Шон ; Молдавский ун-т. - Кишинев, 1992. - 95 л. - Библиогр.:л.87-95.

Тематичний рубрикатор:

Мови та системи програмування

Дод. точки доступу:
Молдавский университет

Видання зберігається у :
Основний фонд

ДС49150

Гринченко, Тамара Алексеевна.

Методы и средства представления и обработки символьной информации в интеллектуальных вычислительных системах [Текст] : дис...д-ра физ.-мат. наук: 05.13.17 / Гринченко Тамара Алексеевна ; Киевская городская гос. администрация, Институт прикладной информатики. - К., 1994. - 286 л.

Тематичний рубрикатор:

Інтелектуальне програмування

Комп'ютерне оброблення текстової інформації

Дод. точки доступу:
Киевская городская гос. администрация; Институт прикладной информатики (Киев)

Видання зберігається у :
Основний фонд

ДС69945

Кондратенко, Виктория Александровна.

Аксиоматические модели и методы проектирования лингвистических трансляторов [Текст] : дис... канд. физ.-мат. наук: 01.05.03 / В.А.Кондратенко ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 2001. - 130 л. - Библиогр.: л. 125-130.

Тематичний рубрикатор:

Інтелектуальне програмування

Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)

Видання зберігається у :
Основний фонд

РА338265

Амбарцумян, Арам Марленович.

Об интерпретаторах систем логического программирования [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.04 / Амбарцумян Арам Марленович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2005. - 14 с.

Тематичний рубрикатор:

Інтелектуальне програмування

Дод. точки доступу:
Институт проблем информатики и автоматизации НАН РА

Видання зберігається у :
Основний фонд

РА290429

Грінченко, Тамара Олексіївна.

Методи та засоби репрезентації і обробки символьної інформації в інтелектуальних обчислювальних системах [Текст] : автореф. дис... д-ра фіз.-мат. наук: 05.13.17 / Грінченко Тамара Олексіївна ; Інститут прикладної інформатики. - К., 1994. - 47 с.

Тематичний рубрикатор:

Інтелектуальне програмування

Комп'ютерне оброблення текстової інформації

Дод. точки доступу:
Інститут прикладної інформатики (Київ)

Видання зберігається у :
Основний фонд

РА314190

Кондратенко, Вікторія Олександрівна.

Аксіоматичні моделі і методи проектування лінгвістичних трансляторів [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Кондратенко Вікторія Олександрівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 2001. - 16 с.

Тематичний рубрикатор:

Інтелектуальне програмування

Дод. точки доступу:
Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)

Видання зберігається у :
Основний фонд

В342379/Ч. 1

Методичні вказівки до виконання лабораторних робіт з дисциплін "Мікропроцесори та програмне забезпечення інтелектуальних систем" [Текст] / Вінницький держ. технічний ун-т. - Вінниця, 1998 .

Ч. 1 : Операційна система Unix для студ. бакалаврських напрямків 6.0915 та 6.0804 / уклад. О. М. Хошаба. - Вінниця : [б.в.], 1998. - 42 с.

Тематичний рубрикатор:

Інтелектуальні системи

Комп'ютери та програмування

Дод. точки доступу:
Хошаба, Олександр Мирославович (уклад.); Вінницький держ. технічний університет

Видання зберігається у :
Основний фонд

ВА588670

Програмування в Пролозі [Текст] : навч. посібник для студ. ф-ту кібернетики / М. М. Глибовець [и др.] ; Київський ун-т ім. Тараса Шевченка. - К. : Київський ун-т, 1998. - 110 с.

Тематичний рубрикатор:

Інтелектуальні системи

Комп'ютери та програмування

Дод. точки доступу:
Глибовець, Микола Миколайович; Кравченко, Іван Васильович; Олецький, Олексій Віталійович; Терещенко, Василь Миколайович; Київський університет імені Тараса Шевченка

Видання зберігається у :
Основний фонд

Р85530

Методичні вказівки до виконання лабораторних робіт з курсу "Логічне програмування" [Текст] : для студ. спец. 7.080401 "Інформаційні управляючі системи та технології", 7.080403 "Програмне забезпечення автоматизованих систем" і 7.091501 "Комп'ютерні системи і мережі" / Черкаський інженерно- технологічний ін-т ; уклад. Ж. М. Плакасова. - Черкаси : [б.в.], 1999. - 15 с.

Тематичний рубрикатор:

Інтелектуальні системи

Комп'ютери та програмування

Дод. точки доступу:
Плакасова, Жанетта Миколаївна (уклад.); Черкаський інженерно-технологічний інститут

Видання зберігається у :

10.

ВА633711

Серов, Владимир Васильевич.

Алгоритмические языки в САПР. Логическое программирование [Текст] : учеб. пособие / В. В. Серов ; Российский заочный ин-т текстильной и легкой промышленности. Кафедра информатики. - М. : [б.и.], 2001. - 50 с.: рис.

Тематичний рубрикатор:

Інтелектуальні системи

Дод. точки доступу:
Российский заочный институт текстильной и легкой промышленности. Кафедра информатики

Видання зберігається у :
Основний фонд

11.

В343227/Ч. 2

Устенко, Сергій Анатолійович

Функціональне та логічне програмування [Текст] : навч. посіб. / С. А. Устенко. - Миколаїв : Український держ. морський технічний ун-т, 1998 .

Ч. 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 с. - Библиогр.: с. 158-159.

Тематичний рубрикатор:

Інтелектуальні системи

Дод. точки доступу:
Шкабура, О. В; Омский гос. педагогический университет

Видання зберігається у :
Основний фонд

19.

ВА633731

Демидов, Андрей Константинович.

Функциональное и логическое программирование [Текст] : учеб. пособие / А. К. Демидов ; Южно-Уральский гос. ун-т. Кафедра "Прикладная математика". - Челябинск : Издательство ЮУрГУ, 2000. - 59 с. - Библиогр.: с. 58.

Тематичний рубрикатор:

Інтелектуальні системи

Комп'ютери та програмування

Дод. точки доступу:
Южно-Уральский гос. университет. Кафедра "Прикладная математика"

Видання зберігається у :
Основний фонд

20.

ВА636476

Ашинянц, Р. А..

Логический язык программирования Пролог. Arity/Prolog. Прикладные задачи ИИ [Текст] / Р. А. Ашинянц. - М. : МГАПИ, 2001. - 302 с. - Библиогр.: с. 295.

Тематичний рубрикатор:

Інтелектуальні системи

Видання зберігається у :
Основний фонд

...