Логический подход к искусственному интеллекту: от модальной логики к логике баз данных / Тейз А., Грибомон П., Юлен Г. и др.; перевод с французского Г. П. Гаврилова и др. под редакцией Г. П. Гаврилова. - Москва: Мир, 1998. - 494 с.Отраслевые рубрики: искусственный интеллект, логика, математическая логика, философские науки Ключевые слова: базы данных, временная логика, грамматика Монтегю, дедуктивные базы данных, динамическая логика, естественные языки, интенсиональная логика, конечные автоматы, логика высказываний, логика предикатов, логическая обработка формальных языков, логическая семантика, логический анализ языка, логический синтаксис, модальная логика, модифицируемые рассуждения, мультимодальные языки, неполная информация, семантика Монтегю, типизированная интенсиональная логика, формализация рассуждений, формальные языки
Сигла хранения | Всего экз. | В наличии | Заказано | абонемент | 1 | 1 | 0 |
|