Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
American Psychological Association 6th edition

Nipkow, T., Paulson, L. C., & Wenzel, M. [ca. 2002]. Isabelle, HOL : a proof assistant for higher order logic. In Lecture notes in computer science [Book]. Berlin [u.a.]: Springer.

ISO-690 (author-date, English)

NIPKOW, Tobias, PAULSON, Lawrence C. und WENZEL, Markus, 2002. Isabelle, HOL : a proof assistant for higher order logic. Berlin [u.a.]: Springer. Lecture notes in computer science, Vol. 2283. ISBN 3540433767.

Modern Language Association 9th edition

Nipkow, T., L. C. Paulson, und M. Wenzel. „Isabelle, HOL : a proof assistant for higher order logic“. Lecture notes in computer science, book, Springer, 2002.

Mohr Siebeck - Recht (Deutsch - Österreich)

Nipkow, Tobias/Paulson, Lawrence C./Wenzel, Markus: Isabelle, HOL : a proof assistant for higher order logic, . Lecture notes in computer science, Berlin [u.a.] 2002.

Emerald - Harvard

Nipkow, T., Paulson, L.C. und Wenzel, M. (2002), Isabelle, HOL : a proof assistant for higher order logic, Lecture notes in computer science, Bd. , Springer, Berlin [u.a.].

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.