Joyce, J. J. (Hrsg.). [ca. 1994]. Higher order logic theorem proving and its applications : 6 th international workshop ; proceedings [Book]. Berlin: Springer.
ISO-690 (author-date, English)JOYCE, Jeffrey J. (Hrsg.). [book]. 1994. Berlin: Springer. Lecture notes in computer science, 780. ISBN 3540578269.
Modern Language Association 9th editionJoyce, J. J., Herausgeber. „Higher order logic theorem proving and its applications : 6 th international workshop ; proceedings“. Lecture notes in computer science, book, Springer, 1994.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
Joyce, J.J. (Hrsg.). (1994), „Higher order logic theorem proving and its applications : 6 th international workshop ; proceedings“, Lecture notes in computer science, Springer, Berlin.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.