Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=язык логического программирования<.>)
Общее количество найденных документов : 1
1.


    Головко, Н. В.
    К вопросу о построении эффективного вычислимого представления для простого абдуктивного вывода [Текст] / Н. В. Головко // Философия науки. - 2006. - N 4. - С. . 115-133. - Библиогр.: с. 129-133 (17 назв. ). - s, 2006, , rus. - RUMARS-phna06_000_004_0115_1. - Зональная научная библиотека Южного федерального университета. - N 4(31). - С. 115-133. - phna06_000_004_0115_1, 4, 115-133
УДК
^a16
^a1
ББК 87 + 87.4
Рубрики: Философия--Общие вопросы философии
   Логика--Общие вопросы логики
Кл.слова (ненормированные):
абдуктивные выводы -- вычислимые функции -- дедукция (логика) -- индукция (логика) -- искусственный интеллект -- методы семантических таблиц -- способы познания -- эмпирические исследования -- язык логического программирования
Аннотация: О возможности построения эффективно вычислимого представления для простого абдуктивного вывода с использованием семантических таблиц Бета - Хинтикка.


Доп.точки доступа:
Бет, Эверт Виллем (голландский философ и логик) \э. В.\; Хинтикка, Яаакко (финский логик и философ) \я.\
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)