Монография французских математиков, представляющая собой продолжение книги с тем же названием, но другим подзаголовком (М.: Мир, 1990). Она включает основы модальных и временных логик и логической теории баз данных. Изложение живое и наглядное, сопровождаемое графическими иллюстрациями, практическими рекомендациями.
Для всех изучающих и применяющих методы искусственного интеллекта и логического программирования.
В продаже
Хочу купить
сейчас этого издания книги в продаже нет
попробуйте поискать другие издания этого произведения при помощи ссылок ниже
или оставьте объявление о покупке или продаже