| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 87.4 - Л 694
Логический подход к искусственному интеллекту: от модальной логики к логике баз данных / А. Тейз, П. Грибомон, Г. Юлен [и др.] ; перевод с французского Г. П. Гаврилова и др. под редакцией Г. П. Гаврилова. — Москва : Мир, 1998. — 494 с. — Текст : непосредственный.
Экземпляры: Всего: 1, из них: аб.-1 в наличии 1
Подробнее
Авторы: Тейз А., Грибомон П., Юлен Г., Пирот А., Ролан Д., Снайерс Д., Воклер М., Гоше П., Грегуар Э., Дельсарт Ф.
Отраслевые рубрики: искусственный интеллект, логика, математическая логика, философские науки
Ключевые слова: базы данных, временная логика, грамматика Монтегю, дедуктивные базы данных, динамическая логика, естественные языки, интенсиональная логика, конечные автоматы, логика высказываний, логика предикатов, логическая обработка формальных языков, логическая семантика, логический анализ языка, логический синтаксис, модальная логика, модифицируемые рассуждения, мультимодальные языки, неполная информация, семантика Монтегю, типизированная интенсиональная логика, формализация рассуждений, формальные языки
Индексы ББК: 87.4, 87.452, 87.458.3, 87.481.1, 16.6
Представления: Формат MARC21