ID:DA02534480
Moore, J. S
同姓同名の著者を検索
Robert S. Boyer and J Strother Moore
Academic Press c1998 2nd ed. Academic Press international series in formal methods
所蔵館6館
by J. Strother Moore
Kluwer Academic Publishers 1996 Automated reasoning series v. 3
所蔵館3館
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館