- ホーム
- > 洋書
- > 英文書
- > Computer / General
Full Description
This volume contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science. Formal specification, theorem proving, operational and denotational semantics, real number computation, computational measure theory, and neural networks are all represented.
Contents
Specifications as spans of geometric morphisms; structured databases - a framework to reason about belief change; a smooth approximation on the edge of chaos.