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 Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Michael Rusinowitch; Jean-Luc Remy Название: Conditional Term Rewriting Systems ISBN: 3540563938 ISBN-13(EAN): 9783540563938 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 10062.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Joachim Inkmann Название: Conditional Moment Estimation of Nonlinear Equation Systems ISBN: 3540412077 ISBN-13(EAN): 9783540412076 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 7762.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Donald Nute Название: Topics in Conditional Logic ISBN: 9400989687 ISBN-13(EAN): 9789400989689 Издательство: Springer Рейтинг: Цена: 18866.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Milan Studeny Название: Probabilistic Conditional Independence Structures ISBN: 1849969485 ISBN-13(EAN): 9781849969482 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: The initial Layer of protection analysis (LOPA) book published in 2001 set the rules and approaches for using LOPA as an intermediate method between purely qualitative hazards evaluation/analysis and more quantitative analysis methods. Basic LOPA provides an order-of-magnitude risk estimate of risk with fairly reproducible results.
Описание: This book reviews the work of prominent psychologists and philosophers on conditional reasoning. It provides empirical research on how people deal with conditional arguments and examines how conditional statements are used and interpreted in everyday communication.
Автор: Stephane Kaplan; Jean-Pierre Jouannaud Название: Conditional Term Rewriting Systems ISBN: 3540192425 ISBN-13(EAN): 9783540192428 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: P.E. Pfeiffer Название: Conditional Independence in Applied Probability ISBN: 1461263379 ISBN-13(EAN): 9781461263371 Издательство: Springer Рейтинг: Цена: 11173.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It would be difficult to overestimate the importance of stochastic independence in both the theoretical development and the practical appli- cations of mathematical probability.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
