ID:DA02084431
Search authors sharing the same name
edited by Robert S. Boyer
Kluwer Academic Publishers Group c1991 Automated reasoning series v. 1
Available at 13 libraries
W.W. Bledsoe and D.W. Loveland, editors
American Mathematical Society c1984 Contemporary mathematics v. 29
: pbk
Available at 59 libraries
