(1984). Automated theorem proving: After 25 years ; [proceedings of the Special Session on Automated Theorem Proving ; 89th Annual Meeting of the American Mathematical Society held in Denver, Colorado, January 5 - 9, 1983]. American Mathemat. Soc.
Chicago-Zitierstil (17. Ausg.)Automated Theorem Proving: After 25 Years ; [proceedings of the Special Session on Automated Theorem Proving ; 89th Annual Meeting of the American Mathematical Society Held in Denver, Colorado, January 5 - 9, 1983]. Providence, RI: American Mathemat. Soc, 1984.
MLA-Zitierstil (9. Ausg.)Automated Theorem Proving: After 25 Years ; [proceedings of the Special Session on Automated Theorem Proving ; 89th Annual Meeting of the American Mathematical Society Held in Denver, Colorado, January 5 - 9, 1983]. American Mathemat. Soc, 1984.