ID:DA02084420
Automatic Theorem Proving, Special Session on
Session on Automatic Theorem Proving, Special
Search authors sharing the same name
W.W. Bledsoe and D.W. Loveland, editors
American Mathematical Society c1984 Contemporary mathematics v. 29
: pbk
Available at 60 libraries