6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
19 - Commonsense Reasoning
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 221-234
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805215/83862/cover/9780521583862.jpg)
Information Flow
- The Logic of Distributed Systems
-
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997
Glossary of Notation
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 270-271
-
- Chapter
- Export citation
3 - A Simple Distributed System
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 50-66
-
- Chapter
- Export citation
Contents
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp vi-x
-
- Chapter
- Export citation
1 - Information Flow: A Review
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 3-25
-
- Chapter
- Export citation
14 - Representing Local Logics
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 174-181
-
- Chapter
- Export citation
Index of Names
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 274-274
-
- Chapter
- Export citation
16 - Logics and State Spaces
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 195-200
-
- Chapter
- Export citation
9 - Regular Theories
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 117-131
-
- Chapter
- Export citation
13 - Reasoning at a Distance
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 165-173
-
- Chapter
- Export citation
12 - Local Logics
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 149-164
-
- Chapter
- Export citation
5 - Operations on Classifications
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 81-88
-
- Chapter
- Export citation
6 - Distributed Systems
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 89-97
-
- Chapter
- Export citation
11 - Boolean Operations and Theories
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 138-148
-
- Chapter
- Export citation
10 - Operations on Theories
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 132-137
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 268-269
-
- Chapter
- Export citation
Part III - Explorations
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 201-202
-
- Chapter
- Export citation
Preface
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp xi-xvi
-
- Chapter
- Export citation
Answers to Selected Exercises
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 256-267
-
- Chapter
- Export citation