Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: (<.>KL=Гедель<.>)

Общее количество найденных документов : 1

Вид документа : Однотомное издание
Шифр издания : 510/К 56
Автор(ы) : Ковальски Р.
Заглавие : Логика в решении проблем
Выходные данные : М.: Наука, 1990
Колич.характеристики :280 с. ; 21см
Серия: Проблемы искусственного интеллекта
ISBN, Цена 5-02-014148-8: 4.00 р.
ГРНТИ : 27.03 + 27.47
УДК : 510.6+519.85
ББК : 22.18
Предметные рубрики: Математика-- Математическая логика
Математика-- Математическое программирование
Ключевые слова (''Своб.индексиров.''): банди--браун--гедель--ковалевски--ли--алгоритм--анализ--атом--база данных--бинарное дерево--вариант--входные данные--гиперрезолюция--задача--интерпретация--хорн--логика--лемма--аксиома--таблицы
Аннотация: Изложены основы так называемой клаузальской логики, являющейся средством логического программирования.
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)