ID:DA0253447X
Boyer, R. S. (Robert S.)
Search authors sharing the same name
Robert S. Boyer and J Strother Moore
Academic Press c1998 2nd ed. Academic Press international series in formal methods
Available at 6 libraries
edited by Robert S. Boyer
Kluwer Academic Publishers Group c1991 Automated reasoning series v. 1
Available at 13 libraries
Robert S. Boyer, J. Strother Moore
Academic Press c1988 Perspectives in computing v. 23
Available at 55 libraries
edited by R.S. Boyer and J. Strother Moore
Academic Press 1981 International lecture series in computer science
Available at 45 libraries
Robert S. Boyer and J. Strother Moore
Academic Press c1979 ACM monograph series
Available at 49 libraries