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

Бази даних

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

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

Самохвалов Ю. Я. Автоматическое доказательство теорем и нечеткий ситуационный поиск решений. — 2001 // Кибернетика и систем. анализ.
2.

Дегтярев А. И. Об одном подходе к автоматизации доказательств математических утверждений. — 2000 // Пробл. упр. и информатики.
3.

Кондратенко В. А. Теория и практика искусственного интеллекта в автоматическом доказазательстве теорем : метод. указания по матем. моделированию смысла логич. рассуждений и автомат. доказательству истинности этих рассуждений с помощью технологий искусств. интеллекта. — К.: Полиграфкнига, 2006
4.

Вершинин К. П. Алгоритм Очевидности и обработка формализованных математических текстов. — 2002 // Пробл. упр. и информатики.
5.

Гупал А. М. Индуктивный подход в математике. — 2002 // Пробл. упр. и информатики.
6.

Лялецкий А. В. Эвиденциальная парадигма: логический аспект. — 2003 // Кибернетика и систем. анализ.
7.

Асельдеров З. М. Языковые проблемы автоматизации доказательств теорем в формализованных теориях. — 2004 // Искусств. интеллект.
8.

Герман О. В. Получение выводов в противоречивых системах. — 2005 // Кибернетика и систем. анализ.
9.

Асельдеров З. М. Организация базы знаний в системе автоматического доказательства теорем САД. — 2006 // Искусств. интеллект.
10.

Коляденко А. А. Використання засобів автоматичного доведення теорем для дослідження моделей контролю доступу на базі ролей та генерації авторизаційних тверджень. — 2009 // Наук. зап. НаУКМА. Сер. Комп'ют. науки.
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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