ID:DA0253447X
Boyer, R. S. (Robert S.)
同姓同名の著者を検索
Robert S. Boyer and J Strother Moore
Academic Press c1998 2nd ed. Academic Press international series in formal methods
所蔵館6館
edited by Robert S. Boyer
Kluwer Academic Publishers Group c1991 Automated reasoning series v. 1
所蔵館13館
Robert S. Boyer, J. Strother Moore
Academic Press c1988 Perspectives in computing v. 23
所蔵館55館
edited by R.S. Boyer and J. Strother Moore
Academic Press 1981 International lecture series in computer science
所蔵館45館
Robert S. Boyer and J. Strother Moore
Academic Press c1979 ACM monograph series
所蔵館48館