PARIGOT, Michel (Hrsg.). [book]. 2000. Berlin: Springer. Lecture notes in computer science, Vol. 1955 : Lecture notes in artificial intelligence. ISBN 3540412859.
Elsevier - Harvard (with titles)Parigot, M. (Hrsg.), 2000. Logic for programming and automated reasoning : 7 th international conference ; proceedings. Lecture notes in computer science, Lecture notes in computer science.
American Psychological Association 7th editionParigot, M. (Hrsg.). (ca. 2000). Logic for programming and automated reasoning : 7 th international conference ; proceedings [Book]. In Lecture notes in computer science. Springer.
Springer - Basic (author-date)Parigot M (Hrsg.) (2000) Logic for programming and automated reasoning : 7 th international conference ; proceedings. Lecture notes in computer science
Juristische Zitierweise (Stüber) (Deutsch)Parigot, Michel (Hrsg.), Logic for programming and automated reasoning : 7 th international conference ; proceedings, Lecture notes in computer science 2000, .