GORÉ, Rajeev (Hrsg.). [book]. 2001. Berlin: Springer. Lecture notes in computer science, 2083 : Lecture notes in artificial intelligence. ISBN 3540422544.
Elsevier - Harvard (with titles)Goré, R. (Hrsg.), 2001. Automated reasoning : first international joint conference ; proceedings. Lecture notes in computer science, Lecture notes in computer science.
American Psychological Association 7th editionGoré, R. (Hrsg.). (ca. 2001). Automated reasoning : first international joint conference ; proceedings [Book]. In Lecture notes in computer science. Springer.
Springer - Basic (author-date)Goré R (Hrsg.) (2001) Automated reasoning : first international joint conference ; proceedings. Lecture notes in computer science
Juristische Zitierweise (Stüber) (Deutsch)Goré, Rajeev (Hrsg.), Automated reasoning : first international joint conference ; proceedings, Lecture notes in computer science 2001, .