Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen
ISO-690 (author-date, English)

PAULSON, Lawrence C., 1994. Isabelle : a generic theorem prover. Berlin [u.a.]: Springer. Lecture notes in computer science, 828. ISBN 3540582444.

Elsevier - Harvard (with titles)

Paulson, L.C., 1994. Isabelle : a generic theorem prover, Lecture notes in computer science, Lecture notes in computer science. Springer, Berlin [u.a.].

American Psychological Association 7th edition

Paulson, L. C. (ca. 1994). Isabelle : a generic theorem prover [Book]. In Lecture notes in computer science. Springer.

Springer - Basic (author-date)

Paulson LC (1994) Isabelle : a generic theorem prover. Springer, Berlin [u.a.]

Juristische Zitierweise (Stüber) (Deutsch)

Paulson, Lawrence C., Isabelle : a generic theorem prover, Berlin [u.a.] 1994.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.