1 Table of Contents: “... Information Schema and Definition Schema -- 38 Section 22 Status Codes -- References -- Author Index -- Syntax...”

2 Table of Contents: “... -- 1.5 On-line documentation -- Chapter2 Anatomy of a Linear Program -- 2.1 Algebraic form -- 2.2 Model...”

3 Table of Contents: “... documentation -- 2 Anatomy of a Linear Program -- 2.1 Algebraic form -- 2.2 Model Syntax -- 2.3 Conditional...”

4 Table of Contents: “... -- 2.1 Introduction -- 2.2 First-Order Logic (FOL) -- 2.3 Modal Logics -- 2.4 Logic Programming -- 2.5...”

5 Table of Contents: “...? -- 1.9 Isomorphisms and the lambda calculus -- 2 Confluence Results -- 2.1 Introduction -- 2.2...”

6 Table of Contents: “... and Troubleshooting -- B.2 Tools for Documenting Python Software -- B.2.1 Doc Strings -- B.2.2 Tools for Automatic...”

7 Table of Contents: “... -- 2.1 The Very First Look -- 2.2 Getting Started -- 2.3 A Quick Look at MuPAD’s Interface -- 2.4...”

8 Table of Contents: “.... The geospatial interoperability problem: Lessons learned from building the GeoLens prototype -- 22. A middleware...”

9 Table of Contents: “... Discussion 140 Appendix: the CoCoA Syntax -- 7 the TransCoop Transaction Model -- 7.1 Introduction -- 7.2...”

10 Table of Contents: “... Words -- Hypothesis Support for Information Integration in Four-Valued Logics -- Invited Talk 2.2...”