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

Kapur, D. (Hrsg.). [ca. 1992]. Automated deduction : proceedings [Book]. Berlin: Springer.

ISO-690 (author-date, English)

KAPUR, Deepak (Hrsg.). [book]. 1992. Berlin: Springer. Lecture notes in computer science, 607 : Lecture notes in artificial intelligence. ISBN 3540556028.

Modern Language Association 9th edition

Kapur, D., Herausgeber. „Automated deduction : proceedings“. Lecture notes in computer science, book, Springer, 1992.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

Kapur, D. (Hrsg.). (1992), „Automated deduction : proceedings“, Lecture notes in computer science, Springer, Berlin.

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