William McCune
发表
Maria Paola Bonacina,
William McCune,
1994,
CADE.
Larry Wos,
William McCune,
Robert Veroff,
2002,
Journal of Automated Reasoning.
William McCune,
Ewing L. Lusk,
John K. Slaney,
1994,
CADE.
Larry Wos,
William McCune,
L. Wos,
1988,
CADE.
William McCune,
R. Padmanabhan,
W. McCune,
1996,
Lecture Notes in Computer Science.
William McCune,
2006,
AISC.
William McCune,
W. McCune,
1990
.
A parallel processing approach for implementing high-performance first-order logic deduction systems
William McCune,
Ross A. Overbeek,
A. Jindal,
1989
.
William McCune,
Olga Shumsky Matlin,
W. McCune,
2004,
ArXiv.
William McCune,
1990,
CADE.
William McCune,
W. McCune,
1994
.
William McCune,
Cynthia A. Wick,
2004,
Journal of Automated Reasoning.
William McCune,
W. McCune,
1992,
Notre Dame J. Formal Log..
Larry Wos,
William McCune,
Ewing L. Lusk,
1986,
Journal of Automated Reasoning.
William McCune,
Ewing Lusk,
E. Lusk,
2000
.
Larry Wos,
William McCune,
Ewing L. Lusk,
1991
.
William McCune,
1994
.
William McCune,
W. McCune,
1990,
AAAI.
Larry Wos,
William McCune,
L. Wos,
1992,
Annals of Mathematics and Artificial Intelligence.
Larry Wos,
William McCune,
1992,
LPAR.
William McCune,
W. McCune,
1992,
Journal of Automated Reasoning.
William McCune,
W. McCune,
1993,
Journal of Automated Reasoning.
William McCune,
W. McCune,
1997
.
William McCune,
W. McCune,
2001,
ArXiv.
William McCune,
Olga Shumsky,
2000,
CADE.
Rick Stevens,
Larry Wos,
William McCune,
1990,
CADE.
Lawrence J. Henschen,
William McCune,
2004,
Journal of Automated Reasoning.
William McCune,
Ewing Lusk,
Ross Overbeek,
1986,
ICLP.
William McCune,
Frederick B Rogers,
Shreya Jammula,
2017,
American journal of disaster medicine.
William McCune,
T. L. Henry,
1990
.
William McCune,
Ewing L. Lusk,
1990,
CADE.
Lawrence J. Henschen,
William McCune,
1983,
IJCAI.
William McCune,
Ewing L. Lusk,
John Slaney,
1990,
Dagstuhl Seminar on Parallelization in Inference Systems.
William McCune,
Ewing L. Lusk,
Ross A. Overbeek,
1982,
CADE.
Larry Wos,
William McCune,
L. Wos,
1991,
Theor. Comput. Sci..
Larry Wos,
William McCune,
L. Wos,
1987,
Journal of Automated Reasoning.
William McCune,
Olga Shumsky,
W. McCune,
2000
.
William McCune,
Ewing L. Lusk,
Ross A. Overbeek,
1986,
CADE.
William McCune,
Ralph W. Wilkerson,
Olga Shumsky,
1997,
SAC '97.
William McCune,
Ewing L. Lusk,
E. Lusk,
1990,
Dagstuhl Seminar on Parallelization in Inference Systems.
Larry Wos,
William McCune,
Robert Veroff,
1984,
CADE.
William McCune,
Ewing L. Lusk,
Olga Shumsky Matlin,
2003,
ArXiv.
Lawrence J. Henschen,
William McCune,
L. Henschen,
1989,
JACM.
William McCune,
Ewing L. Lusk,
Olga Shumsky Matlin,
2002,
SPIN.
William McCune,
W. McCune,
1992,
Journal of Automated Reasoning.
Larry Wos,
William McCune,
L. Wos,
1997,
Journal of Automated Reasoning.
William McCune,
W. McCune,
2003,
ArXiv.
William McCune,
1998,
Inf. Process. Lett..
Lawrence J. Henschen,
William McCune,
Shamim A. Naqvi,
1982,
Advances in Data Base Theory.
William McCune,
W. McCune,
2003,
ArXiv.
William McCune,
Ewing Lusk,
E. Lusk,
1990
.
Larry Wos,
William McCune,
1992,
CADE.
William McCune,
1988,
Inf. Process. Lett..
William McCune,
Ewing L. Lusk,
Ross A. Overbeek,
1986,
CADE.
William McCune,
2000
.
William McCune,
Ewing L. Lusk,
2004,
Journal of Automated Reasoning.
William McCune,
W. McCune,
1997,
Lecture Notes in Computer Science.
Larry Wos,
William McCune,
L. Wos,
1986,
CADE.
William McCune,
Ewing L. Lusk,
Ross A. Overbeek,
1982,
CADE.
William McCune,
Ewing L. Lusk,
John K. Slaney,
1992,
CADE.
William McCune,
W. McCune,
1997,
RTA.
William McCune,
1988,
CADE.
William McCune,
W. McCune,
1997,
Journal of Automated Reasoning.
Larry Wos,
William McCune,
1991,
J. Log. Program..
William McCune,
1995
.
William McCune,
Robert Veroff,
R. Padmanabhan,
2005
.
William McCune,
R. Padmanabhan,
1995
.
William McCune,
Robert Veroff,
R. Padmanabhan,
2007
.
William McCune,
R. Padmanabhan,
1996
.
William McCune,
R. Padmanabhan,
W. McCune,
1995
.
William McCune,
João Araújo,
W. McCune,
2010
.
Larry Wos,
William McCune,
1991
.
William McCune,
R. Padmanabhan,
1995
.
William McCune,
R. Padmanabhan,
1996
.
William McCune,
W. McCune,
1997
.
William McCune,
A. D. Sands,
1996
.