R. Boyer

发表

Robert S. Boyer, J. Strother Moore, J. S. Moore, 1988 .
Robert S. Boyer, W. W. Bledsoe, William H. Henneman, 1971, IJCAI.
Stephen J. Garland, J. Saxe, R. Boyer, 1992 .
Robert S. Boyer, W. W. Bledsoe, W. Bledsoe, 1991, Automated Reasoning.
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1980 .
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1973, JACM.
Robert S. Boyer, J. S. Moore, J Strother Moore, 1982 .
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1991, Automated Reasoning: Essays in Honor of Woody Bledsoe.
Stephen J. Garland, J. Saxe, R. Boyer, 1992 .
Robert S. Boyer, Anne Olivia Boyer, R. Boyer, 1991, Automated Reasoning: Essays in Honor of Woody Bledsoe.
Guy L. Steele, Robert S. Boyer, Edward S. Schneider, 1982 .
Larry Wos, William McCune, Ewing L. Lusk, 1986, Journal of Automated Reasoning.
Robert S. Boyer, Larry M. Hines, Michael Ballantyne, 1996 .
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1988, Journal of Automated Reasoning.
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1990, ESPRIT Basic Research Series.
Robert S. Boyer, Yuan Yu, R. Boyer, 1996, JACM.
Robert S. Boyer, R. Boyer, 1991, Automated Reasoning Series.
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1977, CACM.
Robert S. Boyer, Larry M. Hines, Larry Hines, 1997 .
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1987 .
Graham Wrightson, Bruce G. Buchanan, Robert S. Boyer, 2004, Journal of Automated Reasoning.
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1982 .
Robert S. Boyer, Matt Kaufmann, J. S. Moore, 1995 .
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1990, CADE.
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1988 .
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1985, J. Autom. Reason..
Karl N. Levitt, Robert S. Boyer, Bernard Elspas, 1975, Reliable Software.
Karl N. Levitt, Robert S. Boyer, Bernard Elspas, 1975 .
Robert S. Boyer, Larry M. Hines, A. Michael Ballantyne, 1996, AI Mag..
Robert S. Boyer, Warren A. Hunt, Serita M. Nelesen, 2005, WABI.
Robert S. Boyer, J. S. Moore, J Strother Moore, 2002, PADL.
Robert S. Boyer, J. S. Moore, J. Strother Moore, 1979, Perspectives in computing.
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1985, SOEN.
Robert S. Boyer, J. Strother Moore, J. S. Moore, 1977, IJCAI.
J. S. Moore, R. Boyer, 1979, Perspectives in computing.
Victor W. Marek, Robert S. Boyer, Wilfred J. Legato, 2005, Journal of Automated Reasoning.
Robert S. Boyer, J. S. Moore, J. Strother Moore, 1997 .
R. Boyer, J. S. Moore, 1980, ACM monograph series.
Patrick Lincoln, Robert S. Boyer, Hassan Aït-Kaci, 1989, TOPL.
Kedar S. Namjoshi, S. Mehrotra, V. Lifschitz, 1995 .
Robert S. Boyer, J. S. Moore, J Strother Moore, 1998, Academic Press international series in formal methods.
Mohamed Eltoweissy, Jonathan Lane, Robert Boyer, 2002, Proceedings. International Conference on Parallel Processing Workshop.