Библиотечная система ФГБОУ ВО 'ИжГТУ имени М.Т.Калашникова'

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

Библиотечная БД - результаты поиска

Вид поиска

Библиотечная БД

Имидж-каталог

Учебно-методические пособия

Выпускные квалификационные работы

Учебно-методоческие издания

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

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

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=модальная логика<.>)

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

681.3
Л 69

Логический подход к искусственному интеллекту [Text] : от модальной логики к логике баз данных / Тейз, А. [et al.] ; пер., ред. Гаврилов, Г.П. - М. : Мир, 1998. - 496 с. : ил., табл. - Библиогр.: с. 471-486. - ISBN 5-03-002519-7 (рус.). - ISBN 02-04-018757- Х(франц.) : 30-00 р.

УДК

681.3

519.76

Рубрики: АВТОМАТИКА И ТЕЛЕМЕХАНИКА.ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПРОГРАММИРОВАНИЯ
КИБЕРНЕТИКА--ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Кл.слова (ненормированные):
Искусственный интеллект -- Математическая логика -- Логическое программирование -- Программирование -- Базы данных -- Семантика Монтегю -- Модальная логика -- Логические языки -- Языки логические (математика) -- Естественные языки -- Формальные языки -- Временная логика

Доп.точки доступа:
Тейз, А.; Грибомон, П.; Юлен, Г.; Пирот, А.; Ролан, Д.; Снайерс, Д.; Гаврилов, Г.П. \пер., ред.\
Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)
Найти похожие

87.4
В 20

Васюков, В. Л.
Категорная логика [Text] : [монография] / Васюков В. Л. - М. : АНО Ин-т логики, 2005. - 194 с. : табл. - Библиогр.: с. 185-190. - Предм. указ.: с. 191-194. - ISBN 5-85593-145-5 : 55.00 р.

ББК 87.4 + 87.43
Рубрики: ФИЛОСОФИЯ--ЛОГИКА
Кл.слова (ненормированные):
логика -- категорная логика -- дедуктивные системы -- дедуктивные категории -- сопряжение (категорная логика) -- когерентность -- логические исчисления -- классическая логика -- интуиционистская логика -- модальная логика -- элементарная теория категорий

Экземпляры всего: 1
ОХиИФ (1), ООНЛ
Свободны: ОХиИФ (1)
Найти похожие

Тематический навигатор

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