M. Stickel
发表
Hansong Zhang,
M. Stickel,
1994
.
Mark E. Stickel,
Donald W. Loveland,
D. Loveland,
1973,
IEEE Transactions on Computers.
Nikolaj Bjørner,
Tomás E. Uribe,
Mark E. Stickel,
1997,
CADE.
Mark E. Stickel,
M. Stickel,
1990,
CADE.
Mark E. Stickel,
M. Stickel,
1986,
CADE.
Mark E. Stickel,
Owen L. Astrachan,
M. Stickel,
1992,
CADE.
Mark E. Stickel,
M. Stickel,
1994,
Journal of Automated Reasoning.
Bart Selman,
Henry A. Kautz,
Mark E. Stickel,
2001,
Electron. Notes Discret. Math..
M. Stickel,
J. Slaney,
M. Fujita,
1995
.
R. Waldinger,
Jeff Shrager,
M. Stickel,
2007,
PloS one.
Jerry R. Hobbs,
David J. Israel,
M. Stickel,
1996
.
Mark E. Stickel,
Richard J. Waldinger,
R. Waldinger,
1992,
Int. J. Softw. Eng. Knowl. Eng..
Mark E. Stickel,
M. Stickel,
1982,
AAAI.
M. Stickel,
1974
.
Jerry R. Hobbs,
Paul Martin,
Mark E. Stickel,
1993,
Artif. Intell..
P. Hayes,
M. Stickel,
V. Chaudhri,
2002
.
Jerry R. Hobbs,
M. Stickel,
D. Appelt,
2022
.
Maria Paola Bonacina,
Mark E. Stickel,
M. Stickel,
2013,
Lecture Notes in Computer Science.
M. Stickel,
K. Furukawa,
2012
.
Mark E. Stickel,
M. Stickel,
1990
.
Mark E. Stickel,
Teresa F. Lunt,
Thomas D. Garvey,
1993,
DBSec.
Jerry R. Hobbs,
M. Stickel,
P. Martin,
1988,
ACL.
Jerry R. Hobbs,
H. E. Pople,
Randolph A. Miller,
1992
.
M. Stickel,
1989
.
Mark E. Stickel,
M. Stickel,
1986,
CADE.
Zohar Manna,
Mark E. Stickel,
Richard J. Waldinger,
1991,
Artificial and Mathematical Theory of Computation.
Mark E. Stickel,
M. Stickel,
1989,
IFIP Congress.
Mark E. Stickel,
M. Stickel,
1990,
Lecture Notes in Computer Science.
Mark E. Stickel,
M. Stickel,
1995,
RTA.
M. Stickel,
M. Bonacina,
2012
.
Larry Wos,
William McCune,
Ewing L. Lusk,
1986,
Journal of Automated Reasoning.
Mark E. Stickel,
M. Stickel,
1984,
New Generation Computing.
Mark E. Stickel,
M. Stickel,
1990,
Theor. Comput. Sci..
John D. Lowrance,
Vinay K. Chaudhri,
Mark E. Stickel,
2000
.
Mark E. Stickel,
M. Stickel,
1989,
Natural Language and Logic.
Mark E. Stickel,
M. Stickel,
1985,
Advanced Course: Fundamentals of Artificial Intelligence.
Mark E. Stickel,
M. Stickel,
1984,
CADE.
Mabry Tyson,
Mark E. Stickel,
M. Stickel,
1985,
IJCAI.
Mark E. Stickel,
M. Stickel,
1991,
Annals of Mathematics and Artificial Intelligence.
Tomás E. Uribe,
Mark E. Stickel,
M. Stickel,
1994,
CCL.
Mark E. Stickel,
M. Stickel,
1986,
Journal of Automated Reasoning.
Richard Waldinger,
Vinay K. Chaudhri,
Mark E. Stickel,
2000
.
Douglas E. Appelt,
Jerry R. Hobbs,
John Bear,
1997,
ArXiv.
Michael R. Lowry,
Ian Underwood,
Mark E. Stickel,
1994,
CADE.
Mark E. Stickel,
M. Stickel,
1981,
JACM.
Mark E. Stickel,
Gerald E. Peterson,
M. Stickel,
1981,
JACM.
Mark E. Stickel,
M. Stickel,
2009,
CADE.
Mark E. Stickel,
Teresa F. Lunt,
Thomas D. Garvey,
1991,
Proceedings Computer Security Foundations Workshop IV.
John Rushby,
Mark E. Stickel,
Richard J. Waldinger,
1990
.
Vinay K. Chaudhri,
Mark E. Stickel,
Richard J. Waldinger,
2000,
AAAI/IAAI.
Mark E. Stickel,
Hantao Zhang,
M. Stickel,
2000,
Journal of Automated Reasoning.
Douglas E. Appelt,
Jerry R. Hobbs,
David J. Israel,
2004,
New Directions in Question Answering.
Jerry R. Hobbs,
M. Stickel,
P. Martin,
1988,
ACL.
Bart Selman,
Henry A. Kautz,
Mark E. Stickel,
2001,
IJCAI.
Mark E. Stickel,
M. Stickel,
1985,
Journal of Automated Reasoning.
Robert S. Boyer,
J. Strother Moore,
J. S. Moore,
1990,
CADE.