Davis, M. (1983). Automation of reasoning. Vol. 1. Classical papers on computational logic. 1957 - 1966. Springer.
Chicago-Zitierstil (17. Ausg.)Davis, M. Automation of Reasoning. Vol. 1. Classical Papers on Computational Logic. 1957 - 1966. Berlin: Springer, 1983.
MLA-Zitierstil (9. Ausg.)Davis, M. Automation of Reasoning. Vol. 1. Classical Papers on Computational Logic. 1957 - 1966. Springer, 1983.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.