Bledsoe, W. W Loveland, Donald W. Eds.,
Automated theorem proving after 25 years - Providence, R.I American Mathematical Society 1984 - ix, 360 - Contemporary mathematics ; 00029 .
082185027X
Automatic theorem proving
Congresses.
51 CM
Automated theorem proving after 25 years - Providence, R.I American Mathematical Society 1984 - ix, 360 - Contemporary mathematics ; 00029 .
082185027X
Automatic theorem proving
Congresses.
51 CM