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


Бази даних


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


Вид пошуку
у знайденому
 Знайдено в інших БД:Книжкові видання та компакт-диски (668)Журнали та продовжувані видання (304)Автореферати дисертацій (49)Наукова періодика України (1)
Пошуковий запит: (<.>U=З970.5$<.>)
Загальна кількість знайдених документів : 1470
Представлено документи з 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.

Бондаренко М. Ф. Алгебрологический подход к построению универсальных структур лингвистических объектов. — 2001 // Искусств. интеллект.
4.

Соколова Н. О. Алгоритм диагностики с использованием детерминированных и нечетких знаний. — Д., 2000 // Систем. технології.
5.

Краснопоясовський А. С. Алгоритм навчання системи розпiзнавання за методом функцiонально-статистичних випробувань. — 1998 // Вісн. Сум. держ. ун-ту.
6.

Дегтярев А. И. Алгоритм очевидности и проблемы представления и обработки компьютерных математических знаний. — 1999 // Кибернетика и систем. анализ.
7.

Сердюк С. Н. Анализ и синтез систем поддержки принятия решений. — 2000 // Радіоелектроніка. Інформатика. Управління.
8.

Кургаев А. Ф. База знаний резолюционного доказательства теорем в исчислении высказываний. — 1999 // Управляющие системы и машины.
9.

Гордиенко В. И. Бионический подход к разработке систем искусственного интеллекта. — 2001 // Искусств. интеллект.
10.

Кочетенко Є. М. Будова та алгоритми роботи внутрішньокомп'ютерної системи знань про людину-оператора в рамках концепції адаптивного комп'ютера. — 1998 // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України.
11.

Кургаев А. Ф. Выразительные возможности метаязыка представления знаний. — 2000 // Управляющие системы и машины.
12.

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

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

Кривой С. Л. Доказательство теорем в логике первого порядка, унификация и совместность линейных констрейнтов. — 1998 // Пробл. программир..
15.

Продеус А. М. Експертна система "Школяр 2001" для закладів освіти та охорони здоров'я. — К., 2001 // Электроника и связь.
16.

Соловьева Е. А. Естественная классификация: системологические основания. — Х., 1999
17.

Краснопоясовський А. С. Ефективність функціонування та надійність систем розпізнавання, що навчаються. — 1998 // Вісн. Сум. держ. ун-ту.
18.

Белозерский Л. А. Идентификация детерминированных и вероятностных систем распознавания. — 2001 // Искусств. интеллект.
19.

Ротштейн А. П. Идентификация нелинейных объектов нечеткими базами знаний. — 1998 // Кибернетика и систем. анализ.
20.

Молчанов И. Н. Интеллектуализация компьютерных систем. — 1998 // Управляющие системы и машины.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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