LC CutterNumber :
.A96,S64
Author :
Special Session on Automatic Theorem Proving (1983 : Denver, Colo.)
Title :
Automated theorem proving
Author Statement :
W.W. Bledsoe and D.W. Loveland, editors
Publication :
American Mathematical Society
Collation :
ix, 360 p.: 26 cm
Series :
Contemporary mathematics, 0271-4132 ; v. 29
Notes :
"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"--T.p. verso
Subject :
Automatic theorem proving- Congresses
ADDED ENTRIES :
Bledsoe, W. W,Loveland, Donald W,American Mathematical Society,Series:Contemporary mathematics (American Mathematical Society) ; v. 29
Holding Info. :
082185027
SubTitle :
: after 25 years
Biblography :
Includes bibliographies
