ISO-690 (author-date, English)

STRUTH, Georg, 2006. A Calculus for Set-Based Program Development Part II: Proof Search. Augsburg: Universität Augsburg.

Elsevier - Harvard (with titles)

Struth, G., 2006. A Calculus for Set-Based Program Development Part II: Proof Search, Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg. Universität Augsburg, Augsburg. https://doi.org/urn:nbn:de:bvb:384-opus4-1730

American Psychological Association 7th edition

Struth, G. (ca. 2006). A Calculus for Set-Based Program Development Part II: Proof Search [Cd]. In Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg. Universität Augsburg. https://doi.org/urn:nbn:de:bvb:384-opus4-1730

Springer - Basic (author-date)

Struth G (2006) A Calculus for Set-Based Program Development Part II: Proof Search. Universität Augsburg, Augsburg

Juristische Zitierweise (Stüber) (Deutsch)

Struth, Georg, A Calculus for Set-Based Program Development Part II: Proof Search, Augsburg 2006.

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