РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
Оберіть мову
Ukrainian
Arabic
Armenian
Azerbaijani
Belarusian
Bulgarian
Chinese (Simplified)
Chinese (Traditional)
Czech
Danish
Dutch
English
Estonian
Finnish
French
Georgian
German
Greek
Hebrew
Hindi
Hungarian
Icelandic
Irish
Italian
Japanese
Korean
Latvian
Lithuanian
Norwegian
Persian
Polish
Portuguese
Romanian
Russian
Serbian
Slovak
Slovenian
Spanish
Swahili
Swedish
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР
Бази даних
Реферативна база даних - результати пошуку
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
Ключові слова (без закінчення)
Автор (тільки прізвище)
Назва
Рік видання
у знайденому
Знайдено в інших БД:
Книжкові видання та компакт-диски (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 //
Управляющие системы и машины
.
...
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України
Всі права захищені ©
Національна бібліотека України імені В. І. Вернадського