Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
ISO-690 (author-date, English)

SIEKMANN, Jörg (Hrsg.). Berlin: Springer. ISBN 3540167803.

Elsevier - Harvard (with titles)

Siekmann, J. (Hrsg.), 1986. International Conference on Automated Deduction, Lecture Notes in Computer Science. Springer, Berlin.

American Psychological Association 7th edition

International Conference on Automated Deduction. (ca. 1986). [Book]. In J. Siekmann (Hrsg.), Lecture Notes in Computer Science. Springer.

Springer - Basic (author-date)

Siekmann J (Hrsg.) (1986) International Conference on Automated Deduction. Springer, Berlin

Juristische Zitierweise (Stüber) (Deutsch)

Siekmann, Jörg (Hrsg.), International Conference on Automated Deduction, Berlin 1986.

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