(1984). Automated theorem proving: After 25 years. American Mathematical Society. https://doi.org/10.1090/conm/029
Chicago-Zitierstil (17. Ausg.)Automated Theorem Proving: After 25 Years. Providence, R.I: American Mathematical Society, 1984. https://doi.org/10.1090/conm/029.
MLA-Zitierstil (9. Ausg.)Automated Theorem Proving: After 25 Years. American Mathematical Society, 1984. https://doi.org/10.1090/conm/029.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.