MILLER, Dale, 2026. Proof theory and logic programming : computation as proof search. Cambridge: Cambridge University Press. ISBN 9781009561280.
Elsevier - Harvard (with titles)Miller, D., 2026. Proof theory and logic programming : computation as proof search. Cambridge University Press, Cambridge. https://doi.org/10.1017/9781009561280
American Psychological Association 7th editionMiller, D. (ca. 2026). Proof theory and logic programming : computation as proof search [Cd]. Cambridge University Press. https://doi.org/10.1017/9781009561280
Springer - Basic (author-date)Miller D (2026) Proof theory and logic programming : computation as proof search. Cambridge University Press, Cambridge
Juristische Zitierweise (Stüber) (Deutsch)Miller, Dale, Proof theory and logic programming : computation as proof search, Cambridge 2026.
Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.