Automated Theorem Proving

Automated Theorem Proving by Special Session on Automatic Theorem Proving (1983 Denver, Colo.).

Published by American Mathematical Society, (1984), Paperback, 360 pages.

Topics: Automatic theorem proving, Congresses, Mathematics, history.