Automated theorem proving : after 25 years
Title:
Automated theorem proving : after 25 years
Author:
Special Session on Automatic Theorem Proving (1983 : Denver, Colo.), issuing body.
ISBN:
9780821876145
Conference Author:
Physical Description:
1 online resource (371 pages) : illustrations.
Series:
Contemporary mathematics, volume 29
Contemporary mathematics (American Mathematical Society) ; volume 29.
General Note:
"Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"--Title page verso.
Local Note:
Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject Term:
Genre:
Added Corporate Author:
Electronic Access:
Click to View