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

Siekmann, J. (Hrsg.). [ca. 1986]. Proceedings / 8 th International Conference on Automated Deduction : Oxford, England, July 27 - Aug. 1, 1986 [Book]. Gehalten auf der International Conference on Automated Deduction8, Oxford.

ISO-690 (author-date, English)

SIEKMANN, Jörg (Hrsg.). [book]. 1986. Berlin [u.a.]: Springer. Lecture notes in computer science, 230. ISBN 3540167803.

Modern Language Association 9th edition

Siekmann, J., Herausgeber. „Proceedings / 8 th International Conference on Automated Deduction : Oxford, England, July 27 - Aug. 1, 1986“. Lecture notes in computer science, book, Springer, 1986.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

Siekmann, J. (Hrsg.). (1986), „Proceedings / 8 th International Conference on Automated Deduction : Oxford, England, July 27 - Aug. 1, 1986“, Lecture notes in computer science, gehalten auf der International Conference on Automated Deduction8, Springer, Berlin [u.a.].

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