ID:DA02534480
Moore, J. 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
by J. Strother Moore
Kluwer Academic Publishers 1996 Automated reasoning series v. 3
Available at 3 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