Mark E. Stickel
发表
John D. Lowrance,
Vinay K. Chaudhri,
Mark E. Stickel,
2000
.
Vinay K. Chaudhri,
Mark E. Stickel,
Richard J. Waldinger,
2000,
AAAI/IAAI.
Mark E. Stickel,
1983,
SIGS.
Mark E. Stickel,
M. Stickel,
1984,
New Generation Computing.
Mark E. Stickel,
Gerald E. Peterson,
M. Stickel,
1981,
JACM.
Mark E. Stickel,
2009,
New Generation Computing.
Mark E. Stickel,
1990
.
Douglas E. Appelt,
Jerry R. Hobbs,
David J. Israel,
2004,
New Directions in Question Answering.
Mark E. Stickel,
M. Stickel,
1990,
CADE.
Mark E. Stickel,
M. Stickel,
1991,
Annals of Mathematics and Artificial Intelligence.
Mark E. Stickel,
M. Stickel,
1994,
Journal of Automated Reasoning.
Mark E. Stickel,
2004,
Journal of Automated Reasoning.
Mark E. Stickel,
2004,
Journal of Automated Reasoning.
Zohar Manna,
Mark E. Stickel,
Richard J. Waldinger,
1991,
Artificial and Mathematical Theory of Computation.
Mark E. Stickel,
1988
.
Mark E. Stickel,
1986,
CADE.
Michael R. Lowry,
Ian Underwood,
Mark E. Stickel,
1994,
CADE.
Mark E. Stickel,
1978,
MVL '78.
Tomás E. Uribe,
Mark E. Stickel,
M. Stickel,
1994,
CCL.
Larry Wos,
William McCune,
Ewing L. Lusk,
1986,
Journal of Automated Reasoning.
Bart Selman,
Henry A. Kautz,
Mark E. Stickel,
2001,
Electron. Notes Discret. Math..
Mark E. Stickel,
M. Stickel,
1986,
Journal of Automated Reasoning.
Mark E. Stickel,
1983,
AAAI.
Mark E. Stickel,
1993,
Future Gener. Comput. Syst..
Mark E. Stickel,
M. Stickel,
1985,
Advanced Course: Fundamentals of Artificial Intelligence.
Mark E. Stickel,
1991,
Automated Reasoning: Essays in Honor of Woody Bledsoe.
Mark E. Stickel,
M. Stickel,
1995,
RTA.
Douglas E. Appelt,
Jerry R. Hobbs,
John Bear,
1989,
HLT.
Mark E. Stickel,
M. Stickel,
1986,
CADE.
Mark E. Stickel,
Owen L. Astrachan,
M. Stickel,
1992,
CADE.
Mark E. Stickel,
Hantao Zhang,
M. Stickel,
2000,
Journal of Automated Reasoning.
Mark E. Stickel,
1989
.
Mark E. Stickel,
M. Stickel,
1981,
JACM.
Mark E. Stickel,
M. Stickel,
1989,
IFIP Congress.
Mabry Tyson,
Mark E. Stickel,
M. Stickel,
1985,
IJCAI.
Mark E. Stickel,
M. Stickel,
2009,
CADE.
Mark E. Stickel,
Hantao Zhang,
1995,
RTA.
Mark E. Stickel,
M. Stickel,
1990
.
Nikolaj Bjørner,
Tomás E. Uribe,
Mark E. Stickel,
1997,
CADE.
Richard Waldinger,
Vinay K. Chaudhri,
Mark E. Stickel,
2000
.
John Rushby,
Mark E. Stickel,
Richard J. Waldinger,
1990
.
Peter D. Karp,
Mark E. Stickel,
Teresa F. Lunt,
1993,
Proceedings 1993 IEEE Computer Society Symposium on Research in Security and Privacy.
Mark E. Stickel,
Richard J. Waldinger,
R. Waldinger,
1992,
Int. J. Softw. Eng. Knowl. Eng..
Mark E. Stickel,
Donald W. Loveland,
D. Loveland,
1973,
IEEE Transactions on Computers.
Mark E. Stickel,
1994,
Proceedings of 1994 IEEE Computer Society Symposium on Research in Security and Privacy.
Michael Lowry,
Mark E. Stickel,
Richard J. Waldinger,
1994
.
Mark E. Stickel,
Teresa F. Lunt,
Thomas D. Garvey,
1993,
DBSec.
Douglas E. Appelt,
Jerry R. Hobbs,
John Bear,
1997,
ArXiv.
Mark E. Stickel,
Teresa F. Lunt,
Thomas D. Garvey,
1991,
Proceedings Computer Security Foundations Workshop IV.
Mark E. Stickel,
M. Stickel,
1990,
Lecture Notes in Computer Science.
Mark E. Stickel,
W. Mabry Tyson,
1987
.
Mark E. Stickel,
M. Stickel,
1984,
CADE.
Mark E. Stickel,
M. Stickel,
1990,
Theor. Comput. Sci..
Douglas E. Appelt,
Jerry R. Hobbs,
John Bear,
1996,
TIPSTER.
Mark E. Stickel,
1990,
DISCO.
Mark E. Stickel,
M. Stickel,
1982,
AAAI.
Richard Waldinger,
Mark E. Stickel,
1991,
[1991] Proceedings. The Seventh IEEE Conference on Artificial Intelligence Application.
Mark E. Stickel,
1975,
IJCAI.
Mark E. Stickel,
M. Stickel,
1985,
Journal of Automated Reasoning.
Jörg H. Siekmann,
Deepak Kapur,
Mark E. Stickel,
2004,
Journal of Automated Reasoning.
Mark E. Stickel,
M. Stickel,
1989,
Natural Language and Logic.
Bart Selman,
Henry A. Kautz,
Mark E. Stickel,
2001,
IJCAI.
Mark E. Stickel,
M. Stickel,
1986,
CADE.
Maria Paola Bonacina,
Mark E. Stickel,
M. Stickel,
2013,
Lecture Notes in Computer Science.