ID:DA02084431
同姓同名の著者を検索
edited by Robert S. Boyer
Kluwer Academic Publishers Group c1991 Automated reasoning series v. 1
所蔵館13館
W.W. Bledsoe and D.W. Loveland, editors
American Mathematical Society c1984 Contemporary mathematics v. 29
: pbk
所蔵館60館