Donald W. Loveland
发表
Donald W. Loveland,
2015,
Journal of Automated Reasoning.
Donald W. Loveland,
1969,
JACM.
Donald W. Loveland,
D. Loveland,
2014
.
David W. Reed,
Donald W. Loveland,
Bruce T. Smith,
1991,
ISLP.
Donald W. Loveland,
D. Loveland,
1982,
Lecture Notes in Computer Science.
Donald W. Loveland,
S. Fleisig,
A. K. Smiley,
1974,
JACM.
Adnan H. Yahya,
Donald W. Loveland,
D. Loveland,
2003,
New Generation Computing.
Donald W. Loveland,
1987,
J. Algorithms.
Donald W. Loveland,
D. Loveland,
1991,
Journal of Automated Reasoning.
Donald W. Loveland,
Susan G. Sterrett,
Richard E. Hodel,
2014
.
Owen L. Astrachan,
Donald W. Loveland,
D. Loveland,
1990,
Automated Reasoning: Essays in Honor of Woody Bledsoe.
David W. Reed,
Donald W. Loveland,
D. Loveland,
1991,
Computational Logic - Essays in Honor of Alan Robinson.
Donald W. Loveland,
D. Loveland,
1969,
J. ACM.
Donald W. Loveland,
C. R. Reddy,
D. Loveland,
1981,
JACM.
David W. Reed,
Donald W. Loveland,
Bruce T. Smith,
1991,
ELP.
Gopalan Nadathur,
Donald W. Loveland,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Donald W. Loveland,
2000,
CACM.
Donald W. Loveland,
Martin D. Davis,
George Logemann,
2011,
CACM.
Donald W. Loveland,
Susan G. Sterrett,
Richard E. Hodel,
2014
.
Donald W. Loveland,
Marco Valtorta,
D. Loveland,
1992,
Int. J. Approx. Reason..
Donald W. Loveland,
Robert E. Shostak,
1980,
CADE.
David W. Reed,
Donald W. Loveland,
Debra Sue Wilson,
1995,
Journal of Automated Reasoning.
Donald W. Loveland,
Bruce T. Smith,
1988,
CADE.
Donald W. Loveland,
D. Loveland,
1987,
ICLP.
Donald W. Loveland,
1975
.
Yijie Han,
Robert A. Wagner,
Donald W. Loveland,
1987,
J. Parallel Distributed Comput..
David W. Reed,
Donald W. Loveland,
D. Loveland,
1992,
J. Log. Program..
Donald W. Loveland,
1982
.
David W. Reed,
Donald W. Loveland,
D. Loveland,
2005,
Annals of Mathematics and Artificial Intelligence.
Donald W. Loveland,
Bruce T. Smith,
1988,
ICLP/SLP.
Mark E. Stickel,
Donald W. Loveland,
D. Loveland,
1973,
IEEE Transactions on Computers.
Gopalan Nadathur,
Donald W. Loveland,
D. Loveland,
1994
.
Donald W. Loveland,
James M. Ortega,
Norman E. Givbbs,
1974,
SGCS.
Donald W. Loveland,
D. Loveland,
1978,
Fundamental studies in computer science.
Donald W. Loveland,
2004,
Acta Informatica.
Owen L. Astrachan,
Donald W. Loveland,
2004,
Journal of Automated Reasoning.
Donald W. Loveland,
Marco Valtorta,
Bruce T. Smith,
1984
.
Donald W. Loveland,
1982
.
Donald W. Loveland,
D. Loveland,
1969,
Information and Control.
Donald W. Loveland,
Marco Valtorta,
1983,
IJCAI.
Donald W. Loveland,
1983
.
Donald W. Loveland,
D. Loveland,
1972,
J. ACM.
Donald W. Loveland,
1994,
GI Jahrestagung.
Donald W. Loveland,
D. Loveland,
1999,
AI Mag..
Bart Selman,
Ashish Sabharwal,
Donald W. Loveland,
2016,
Martin Davis on Computability, Computational Logic, and Mathematical Foundations.
Donald W. Loveland,
C. R. Reddy,
D. Loveland,
1978,
STOC.
Donald W. Loveland,
1978
.
Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies
Gopalan Nadathur,
Donald W. Loveland,
A.,
1994,
Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2.
Donald W. Loveland,
D. Loveland,
1968,
JACM.
Donald W. Loveland,
D. Loveland,
1969,
STOC.
Donald W. Loveland,
1970
.
Gopalan Nadathur,
Donald W. Loveland,
1995,
LICS 1995.
Donald W. Loveland,
Bruce T. Smith,
D. Loveland,
1991
.
Donald W. Loveland,
D. Loveland,
1982,
Journal of Symbolic Logic (JSL).
Donald W. Loveland,
D. Loveland,
1984
.