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