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

Transactions on Modularity and Composition I, Chiba



Варианты приобретения
Цена: 8894р.
Кол-во:
 о цене
Наличие: Отсутствует. Возможна поставка под заказ.

При оформлении заказа до: 30 авг 2022
Ориентировочная дата поставки: конец Сентября- начало Октября
При условии наличия книги у поставщика.

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

Автор: Chiba
Название:  Transactions on Modularity and Composition I
ISBN: 9783319469683
Издательство: Springer
Классификация:
ISBN-10: 3319469681
Обложка/Формат: Paperback
Страницы: 269
Вес: 0.433 кг.
Дата издания: 2016
Серия: Transactions on Modularity and Composition
Язык: English
Иллюстрации: 86 black & white illustrations, biography
Размер: 234 x 156 x 15
Читательская аудитория: Professional & vocational
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Дополнительное описание: Context-Oriented Software Development with Generalized Layer Activation Mechanism.- Developing and Verifying Response Specifications in Hierarchical Event-Based Systems.- Programming with Emergent Gummy Modules.- Generalized Layer Activation Mechanism for




Conditionals and Modularity in General Logics

Автор: Gabbay
Название: Conditionals and Modularity in General Logics
ISBN: 3642190677 ISBN-13(EAN): 9783642190674
Издательство: Springer
Рейтинг:
Цена: 15014 р.
Наличие на складе: Поставка под заказ.

Описание: This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors' uniform picture of conditionals, including many-valued logics and structures on the language elements themselves and on the truth value set. The third topic explained by the authors is neighbourhood semantics, their connection to independence, and their common points and differences for various logics, e.g., for defaults and deontic logic, for the limit version of preferential logics, and for general approximation. The book will be of value to researchers and graduate students in logic and theoretical computer science.


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