РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР

Бази даних

Реферативна база даних - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Книжкові видання та компакт-диски (137)Журнали та продовжувані видання (17)Автореферати дисертацій (6)
Пошуковий запит: (<.>U=З970.5-01$<.>)
Загальна кількість знайдених документів : 158
Представлено документи з 1 до 20
...
1.

Szajna J.  Artificial intelligence methods in computer aided design of digital circuits. — 2001 // Электрон. моделирование.
2.

Hoffman U.  Stack Based Dynamic Languages for Intelligent Systems. — 1999 // Управляющие системы и машины.
3.

Капитонова Ю. В. Дедуктивные средства системы алгебраического программирования. — 2000 // Кибернетика и систем. анализ.
4.

Летичевський О. А. Доведення теорем в математичному інформаційному середовищі. — 1998 // Кибернетика и систем. анализ.
5.

Молчанов И. Н. Интеллектуализация компьютерных систем. — 1998 // Управляющие системы и машины.
6.

Шередко Ю. Л. Классификация информационных процессов. Когнитивные процессы. — 1998 // Управляющие системы и машины.
7.

Теленик С. Ф. Логика представления вычислительных процессов в интеллектуальной системе SmartBase . — Д., 1999 // Систем. технології.
8.

Андон Ф. И. Логические модели интеллектуальных информационных систем. — К.: Наук. думка, 1999
9.

Кургаев А. Ф. Логические формы определения понятия. — 1998 // Управляющие системы и машины.
10.

Жихарев В. Я. Методы проектирования символьных процессоров. — Х.: Факт, 2000
11.

Сырбачев А. В. Недетерминированные объекты в системах функционального программирования. — 2000 // Радіоелектроніка. Інформатика. Управління.
12.

Гуляницький Л. Ф. Один підхід до створення інформаційної технології та програмних засобів підтримки прийняття рішень в умовах невизначеності та ризику. — 1998 // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України.
13.

Бондаренко М. Ф. Оптимізаційні задачі в системах прийняття рішень. — Х., 1998
14.

Провотар А. И. Проблема Туэ и логические спецификации вывода в формальных системах. — 1999 // Кибернетика и систем. анализ.
15.

Глибовець М. М. Програмування в Пролозі : Навч. посіб. для студ. ф-ту кібернетики. — К.: Київ. ун-т, 1998
16.

Дмитриченко В. М. Различные формы организации мультиагентных систем. — 1999 // Вестн. Херсон. гос. техн. ун-та.
17.

Александров А. Ю. Разработка знаниеориентированного программного комплекса для принятия решений при нечетких входных данных. — 1998 // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України.
18.

Кропельницький Ю. П. Реалізація механізму логічного висновку для управління базами знань мовою Пролог. — 1999 // Вестн. Херсон. гос. техн. ун-та.
19.

Устенко С. А. Логічне програмування. — Миколаїв, 1998
20.

Плескач В. Л. Агентні технології : Моногр. — К., 2005
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського