1
Published 1995
Springer US
Table of Contents: ... Information Schema and Definition Schema -- 38 Section 22 Status Codes -- References -- Author Index -- Syntax...

2
by Greenberg, H.J.
Published 1993
Springer US
Table of Contents: ... -- 1.5 On-line documentation -- Chapter2 Anatomy of a Linear Program -- 2.1 Algebraic form -- 2.2 Model...

3
by Moerkotte, Guido
Published 1990
Springer Berlin Heidelberg
Table of Contents: ...1 Einführung -- 2 Logik -- 2.1 Syntax -- 2.2 Semantik -- 3 Datenbasis -- 3.1 Datenbasen und...

4
by Greenberg, H.J.
Published 1993
Springer US
Table of Contents: ... documentation -- 2 Anatomy of a Linear Program -- 2.1 Algebraic form -- 2.2 Model Syntax -- 2.3 Conditional...

5
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... Bilddatenformate -- 6.1 Syntax, Semantik und Kodierung -- 6.2 Angewandte Beschreibungstechniken -- 6.3 ASN.1 -- 6.4...

6
Published 1998
Springer US
Table of Contents: ... -- 2.1 Introduction -- 2.2 First-Order Logic (FOL) -- 2.3 Modal Logics -- 2.4 Logic Programming -- 2.5...

7
by DiCosmo, Roberto
Published 1995
Birkhäuser
Table of Contents: ...? -- 1.9 Isomorphisms and the lambda calculus -- 2 Confluence Results -- 2.1 Introduction -- 2.2...

8
by Langtangen, Hans Petter
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... and Troubleshooting -- B.2 Tools for Documenting Python Software -- B.2.1 Doc Strings -- B.2.2 Tools for Automatic...

9
Published 1999
Springer US
Table of Contents: .... The geospatial interoperability problem: Lessons learned from building the GeoLens prototype -- 22. A middleware...

10
Published 1998
Springer US
Table of Contents: ... Discussion 140 Appendix: the CoCoA Syntax -- 7 the TransCoop Transaction Model -- 7.1 Introduction -- 7.2...

11
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... Words -- Hypothesis Support for Information Integration in Four-Valued Logics -- Invited Talk 2.2...