Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Thinking Intellekt

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/PVS/metric_space/

Quellcode-Bibliothek

^© Kompilation durch diese Firma

Untersuchungsergebnis.rst Download desHaskell {Haskell[128] CS[337] Ada[393]}zum Wurzelverzeichnis wechseln

.. There are multiple issues with sphinxcontrib-bibtex that we have to work around:
   - The list of cited entries is computed right after encountering
     `.. bibliography`, so the file containing that command has to come last
     alphabetically:
     https://sphinxcontrib-bibtex.readthedocs.io/en/latest/usage.html#unresolved-citations-across-documents
   - `.. bibliography::` puts the bibliography on its own page with its own
     title in LaTeX, but includes it inline without a title in HTML:
     https://sphinxcontrib-bibtex.readthedocs.io/en/latest/usage.html#mismatch-between-output-of-html-and-latex-backends

.. _bibliography:

==============
Bibliography
==============

.. bibliography:: biblio.bib
   :cited: