Decision Procedures, Daniel Kroening; Ofer Strichman

Автор: Borger Egon, Gradel Erich, Gurevich Yuri
Название: The Classical Decision Problem
ISBN: 3540423249 ISBN-13(EAN): 9783540423249
Издательство: Springer
Рейтинг:
Цена: 117390.00 T
Наличие на складе: Есть
Описание: This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases, and includes a number of simple proofs and exercises.

Автор: Zhu
Название: Decision and Game Theory for Security
ISBN: 331947412X ISBN-13(EAN): 9783319474120
Издательство: Springer
Рейтинг:
Цена: 61490.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 7th International Conference on Decision and Game Theory for Security, GameSec 2016, held in New York, NY, USA, in November 2016. The 18 revised full papers presented together with 8 short papers and 5 poster papers were carefully reviewed and selected from 40 submissions.

Автор: Van-Nam Huynh; Masahiro Inuiguchi; Bac Le; Nguyen
Название: Integrated Uncertainty in Knowledge Modelling and Decision Making
ISBN: 3319490451 ISBN-13(EAN): 9783319490458
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 5th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, IUKM 2016, held in Da Nang, Vietnam, in November/December 2016.