Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Nonclassical Logics and Information Processing, David Pearce; Heinrich Wansing


Варианты приобретения
Цена: 4890.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: David Pearce; Heinrich Wansing
Название:  Nonclassical Logics and Information Processing
ISBN: 9783540557456
Издательство: Springer
Классификация:



ISBN-10: 3540557458
Обложка/Формат: Paperback
Страницы: 175
Вес: 0.27 кг.
Дата издания: 22.07.1992
Серия: Lecture Notes in Artificial Intelligence
Язык: English
Размер: 234 x 156 x 10
Основная тема: Computer Science
Подзаголовок: International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This volume contains the proceedings of a workshop held at the Free University of Berlin in November 1990, which discussed various subfields of logic and its applications in artificial intelligence. Papers examine modal systems, logic programming, nonmonotonic logics and proof theory.


Belief Revision in Non-Classical Logics

Автор: Ribeiro
Название: Belief Revision in Non-Classical Logics
ISBN: 1447141857 ISBN-13(EAN): 9781447141853
Издательство: Springer
Рейтинг:
Цена: 5583.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that include - besides most Description Logics such as the ones behind OWL - Horn Logic and Intuitionistic logic, amongst others.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия