A Logical Theory of Nonmonotonic Inference and Belief Change (Artificial Intelligence (Berlin, Germany).)
 |
|
Содержание:
Общедоступная история астрономии в XIX столетии
Описание:
This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.Похожие книги
 | Scientific Modeling and Simulations Автор: Yip S., de la Rubia T.D. (eds.) Год: 2009 |
 | Bayesian Item Response Modeling: Theory and Applications Автор: Fox, Jean-Paul Год: 2010 |
| Physiologically Based Pharmacokinetic Modeling Автор: Micaela Reddy Год: 2005 |
| Nonparametric Regression Methods for Longitudinal Data Analysis: Mixed-Effects Modeling Approaches Автор: Wu H., Zhang J.-T. Год: 2006 |
 | A Course in Mathematical Biology: Quantitative Modeling with Mathematical and Computational (Monographs on Mathematical Modeling and Computation) Автор: Gerda de Vries, Thomas Hillen, Mark Lewis, Johannes Muller, Birgitt Schonfisch Год: 2006 |
| Decision Modeling in Policy Management: An Introduction to the Analytic Concepts Автор: Giampiero E. G. Beroggi Год: 2000 |