ISO-690 (author-date, English)

MCMILLAN, Ken, MIDDELDORP, Aart und VORONKOV, Andrei (Hrsg.). [cd]. 2013. 1 st ed. 2013. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642452215.

Elsevier - Harvard (with titles)

Mc Millan, K., Middeldorp, A., Voronkov, A. (Hrsg.), 2013. Logic for Programming, Artificial Intelligence, and Reasoning : 19 th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-642-45221-5

American Psychological Association 7th edition

Mc Millan, K., Middeldorp, A., … Voronkov, A. (Hrsg.). (ca. 2013). Logic for Programming, Artificial Intelligence, and Reasoning : 19 th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2013). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-45221-5

Springer - Basic (author-date)

Mc Millan K, Middeldorp A, Voronkov A (Hrsg.) (2013) Logic for Programming, Artificial Intelligence, and Reasoning : 19 th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings. Theoretical Computer Science and General Issues

Juristische Zitierweise (Stüber) (Deutsch)

Mc Millan, Ken/ Middeldorp, Aart/ Voronkov, Andrei (Hrsg.), Logic for Programming, Artificial Intelligence, and Reasoning : 19 th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings, Theoretical Computer Science and General Issues 2013, .

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.