Automated theorem proving : after 25 years / ed. W. W. Bledsoe, D. W. Loveland
Automated theorem proving : after 25 years / ed. W. W. Bledsoe, D. W. Loveland
. - Providence : American Mathematical Society, imp. 1985
. - IX, 360 p. : il. 25 cm
. - (Contemporary mathematics; 29)
0-8218-5027-X (Brochado)
519.6