APA (7th ed.) Citation

Special Session on Automatic Theorem Proving Denver, Colo, American Mathematical Society, Bledsoe, W. W., & Loveland, D. W. (1984). Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors: After 25 years. American Mathematical Society.

Chicago Style (17th ed.) Citation

Special Session on Automatic Theorem Proving Denver, Colo, American Mathematical Society, W. W. Bledsoe, and Donald W. Loveland. Automated Theorem Proving : After 25 Years / W.W. Bledsoe and D.W. Loveland, Editors: After 25 Years. Providence, R.I.: American Mathematical Society, 1984.

MLA (9th ed.) Citation

Special Session on Automatic Theorem Proving Denver, Colo, et al. Automated Theorem Proving : After 25 Years / W.W. Bledsoe and D.W. Loveland, Editors: After 25 Years. American Mathematical Society, 1984.

Warning: These citations may not always be 100% accurate.