ISO-690 (author-date, English)

ACHIM BRUCKER und BURKHART WOLFF, 2008. An Extensible Encoding of Object-oriented Data Models in hol. Journal of Automated Reasoning. 1 November 2008. Vol. 41, no. 3/4, p. 219-249. DOI 10.1007/s10817-008-9108-3.

Elsevier - Harvard (with titles)

Achim Brucker, Burkhart Wolff, 2008. An Extensible Encoding of Object-oriented Data Models in hol. Journal of Automated Reasoning 41, 219-249. https://doi.org/10.1007/s10817-008-9108-3

American Psychological Association 7th edition

Achim Brucker, & Burkhart Wolff. (2008). An Extensible Encoding of Object-oriented Data Models in hol.. Journal of Automated Reasoning, 41(3/4), 219-249. https://doi.org/10.1007/s10817-008-9108-3

Springer - Basic (author-date)

Achim Brucker, Burkhart Wolff (2008) An Extensible Encoding of Object-oriented Data Models in hol.. Journal of Automated Reasoning 41:219-249. https://doi.org/10.1007/s10817-008-9108-3

Juristische Zitierweise (Stüber) (Deutsch)

Achim Brucker/ Burkhart Wolff, An Extensible Encoding of Object-oriented Data Models in hol., Journal of Automated Reasoning 2008, 219-249.

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