APA (7th ed.) Citation

(1985). Automated theorem proving: After 25 years ; [proceedings of the Special Session on Automatic Theorem Proving 89th annual meeting of the American Mathematical Society held in Denver, Colo., January 5 - 9, 1983] (Repr.). American Mathematical Soc.

Chicago Style (17th ed.) Citation

Automated Theorem Proving: After 25 Years ; [proceedings of the Special Session on Automatic Theorem Proving 89th Annual Meeting of the American Mathematical Society Held in Denver, Colo., January 5 - 9, 1983]. Repr. Providence, RI: American Mathematical Soc, 1985.

MLA (9th ed.) Citation

Automated Theorem Proving: After 25 Years ; [proceedings of the Special Session on Automatic Theorem Proving 89th Annual Meeting of the American Mathematical Society Held in Denver, Colo., January 5 - 9, 1983]. Repr. American Mathematical Soc, 1985.