Automated theorem proving : after 25 years / ed. W. W. Bledsoe, D. W. Loveland
Secondary Author
Bledsoe, W. W.
Loveland, Donald W.
Corporate Author (Secondary)
American Mathematical Society, special Session on Automatic Theorem Proving, Annual Meeting, 89, Denver, Colorado, 1983
Country
Estados Unidos.
Publication
Providence : American Mathematical Society, imp. 1985
Description
IX, 360 p. :
il. ;
25 cm
Series
Contemporary mathematics , 29
ISBN
0-8218-5027-X
CDU
519.6
There are no comments for this item.