Conditional and Typed Rewriting Systems, Stephane Kaplan; Mitsuhiro Okada

Автор: Nachum Dershowitz; Naomi Lindenstrauss
Название: Conditional and Typed Rewriting Systems
ISBN: 3540603816 ISBN-13(EAN): 9783540603818
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings report the research advances in the area of rewriting, in general achieved since the preceding workshop, held in 1992. The topics addressed include conditional term rewriting, typed systems, higher-order rewriting, graph rewriting, and combinator-based languages.

Автор: Stephane Kaplan; Jean-Pierre Jouannaud
Название: Conditional Term Rewriting Systems
ISBN: 3540192425 ISBN-13(EAN): 9783540192428
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Michael Rusinowitch; Jean-Luc Remy
Название: Conditional Term Rewriting Systems
ISBN: 3540563938 ISBN-13(EAN): 9783540563938
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the papers presented at the third International Workshop on Conditional Term Rewriting Systems. Topics covered include conditional rewriting and its applications to programming languages, specification languages, automated deduction and constrained rewriting.

Автор: Gilles Dowek
Название: Rewriting and Typed Lambda Calculi
ISBN: 331908917X ISBN-13(EAN): 9783319089171
Издательство: Springer
Рейтинг:
Цена: 67080.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

Автор: Bertelli Anthony, John Peter
Название: Public Policy Investment: Priority-Setting and Conditional Representation in British Statecraft
ISBN: 0199663971 ISBN-13(EAN): 9780199663972
Издательство: Oxford Academ
Рейтинг:
Цена: 76030.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Covering the period 1971-2000, this volume develops a new approach to `public policy investment`. It shows how governments are like investors who act of on behalf of the public and how enhance their chances of re-election by managing a portfolio of public policies.

Автор: Joachim Inkmann
Название: Conditional Moment Estimation of Nonlinear Equation Systems
ISBN: 3540412077 ISBN-13(EAN): 9783540412076
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Generalized method of moments (GMM) estimation of nonlinear systems has two important advantages over conventional maximum likelihood (ML) estimation: GMM estimation usually requires less restrictive distributional assumptions and remains computationally attractive when ML estimation becomes burdensome or even impossible.

Автор: Stirling
Название: Theory of Conditional Games
ISBN: 110742898X ISBN-13(EAN): 9781107428980
Издательство: Cambridge Academ
Рейтинг:
Цена: 51750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Game theory explains how to make good choices when different decision makers have conflicting interests. The classical approach assumes that decision makers are committed to making the best choices for themselves regardless of the effect on others, but such an approach is less appropriate when cooperation, compromise and negotiation are important. This book describes conditional games, a form of game theory that accommodates multiple stakeholder decision-making scenarios where cooperation and negotiation are significant issues and where notions of concordant group behavior are important. Using classical binary preference relations as a point of departure, the book extends the concept of a preference ordering that permits stakeholders to modulate their preferences as functions of the preferences of others. As these conditional preferences propagate through a group of decision makers, they create social bonds that lead to notions of group concordance. This book is intended for all students and researchers of decision theory and game theory.

Автор: Gutzmann, Daniel
Название: Use-Conditional Meaning
ISBN: 0198723822 ISBN-13(EAN): 9780198723820
Издательство: Oxford Academ
Рейтинг:
Цена: 116160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book seeks to bring together the pragmatic theory of `meaning as use` with the traditional semantic approach that considers meaning in terms of truth conditions. Daniel Gutzmann`s new approach captures the entire meaning of complex expressions and overcomes the empirical gaps and conceptual problems associated with previous analyses.

Автор: Donald Nute
Название: Topics in Conditional Logic
ISBN: 9400989687 ISBN-13(EAN): 9789400989689
Издательство: Springer
Рейтинг:
Цена: 125770.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: P.E. Pfeiffer
Название: Conditional Independence in Applied Probability
ISBN: 1461263379 ISBN-13(EAN): 9781461263371
Издательство: Springer
Рейтинг:
Цена: 74490.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It would be difficult to overestimate the importance of stochastic independence in both the theoretical development and the practical appli- cations of mathematical probability.

Автор: Milan Studeny
Название: Probabilistic Conditional Independence Structures
ISBN: 1849969485 ISBN-13(EAN): 9781849969482
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Probabilistic Conditional Independence Structures provides the mathematical description of probabilistic conditional independence structures; The monograph presents the methods of structural imsets and supermodular functions, and deals with independence implication and equivalence of structural imsets.

Автор: Prof. Dr. Carsten Homburg; Julia Nasev
Название: Conditional and Unconditional Conservatism
ISBN: 383492122X ISBN-13(EAN): 9783834921222
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Julia Nasev examines the impact of conservative accounting numbers on valuation estimates and on real economic decisions such as cost stickiness.