РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
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
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР
Бази даних
Реферативна база даних - результати пошуку
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
Ключові слова (без закінчення)
Автор (тільки прізвище)
Назва
Рік видання
Сортувати знайдені документи за:
автором
назвою
роком видання
видом документа
Знайдено в інших БД:
Книжкові видання та компакт-диски (13)
Пошуковий запит:
(<.>U=В124<.>)
Загальна кількість знайдених документів
:
9
Представлено документи
з 1 до 9
1.
Самохвалов Ю. Я.
Автоматическое доказательство теорем и нечеткий ситуационный поиск решений
. — 2001 //
Кибернетика и систем. анализ
.
2.
Дегтярев А. И.
Об одном подходе к автоматизации доказательств математических утверждений
. — 2000 //
Пробл. упр. и информатики
.
3.
Кондратенко В. А.
Теория и практика искусственного интеллекта в автоматическом доказазательстве теорем
: метод. указания по матем. моделированию смысла логич. рассуждений и автомат. доказательству истинности этих рассуждений с помощью технологий искусств. интеллекта. — К.: Полиграфкнига, 2006
4.
Вершинин К. П.
Алгоритм Очевидности и обработка формализованных математических текстов
. — 2002 //
Пробл. упр. и информатики
.
5.
Гупал А. М.
Индуктивный подход в математике
. — 2002 //
Пробл. упр. и информатики
.
6.
Лялецкий А. В.
Эвиденциальная парадигма: логический аспект
. — 2003 //
Кибернетика и систем. анализ
.
7.
Асельдеров З. М.
Языковые проблемы автоматизации доказательств теорем в формализованных теориях
. — 2004 //
Искусств. интеллект
.
8.
Герман О. В.
Получение выводов в противоречивых системах
. — 2005 //
Кибернетика и систем. анализ
.
9.
Коляденко А. А.
Використання засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей та генерації авторизаційних тверджень
. — 2009 //
Наук. зап. НаУКМА. Сер. Комп'ют. науки
.
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України
Всі права захищені ©
Національна бібліотека України імені В. І. Вернадського