ISO-690 (author-date, English)

BLACKBURN, Patrick, MEYER-VIOL, Wilfried und RIJKE, Maarten de, 1995. A proof system for finite trees. Saarbrücken: Univ. des Saarlandes, Computerlinguistik. Computerlinguistik an der Universität des Saarlandes, 67.

Elsevier - Harvard (with titles)

Blackburn, P., Meyer-Viol, W., Rijke, M. de, 1995. A proof system for finite trees, Computerlinguistik an der Universität des Saarlandes, Computerlinguistik an der Universität des Saarlandes. Univ. des Saarlandes, Computerlinguistik, Saarbrücken.

American Psychological Association 7th edition

Blackburn, P., Meyer-Viol, W., & Rijke, M. de. (ca. 1995). A proof system for finite trees [Book]. In Computerlinguistik an der Universität des Saarlandes. Univ. des Saarlandes, Computerlinguistik.

Springer - Basic (author-date)

Blackburn P, Meyer-Viol W, Rijke M de (1995) A proof system for finite trees. Univ. des Saarlandes, Computerlinguistik, Saarbrücken

Juristische Zitierweise (Stüber) (Deutsch)

Blackburn, Patrick/ Meyer-Viol, Wilfried/ Rijke, Maarten de, A proof system for finite trees, Saarbrücken 1995.

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