APA (7th ed.) Citation

(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 Style (17th ed.) Citation

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 (9th ed.) Citation

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.