Cordell Green
发表
Barry W. Boehm,
Nancy A. Lynch,
Butler W. Lampson,
1999,
SOEN.
Robert Balzer,
Charles Rich,
Cordell Green,
1986
.
Richard Fikes,
Martin Kay,
Cordell Green,
1976,
ACM Annual Conference.
Robert Balzer,
Charles Rich,
Thomas Cheatham,
1986
.
David R. Barstow,
Douglas B. Lenat,
David E. Shaw,
1974
.
Richard Fikes,
Martin Kay,
Cordell Green,
1976,
ACM '76.
Graham Wrightson,
Bruce G. Buchanan,
Robert S. Boyer,
2004,
Journal of Automated Reasoning.
Zohar Manna,
Terry Winograd,
Thomas O. Binford,
1977
.
C. A. R. Hoare,
Cesare Tinelli,
Bernhard Beckert,
2006,
IEEE Intelligent Systems.
Daniel E. Cooke,
Michael Lowry,
Cordell Green,
2006,
Computer.
Cordell Green,
2010,
ASE '10.
David R. Barstow,
Douglas B. Lenat,
David E. Shaw,
1974
.
Dave Gunning,
Cordell Green,
David L. Zimmerman,
1993
.
Alessandro Coglio,
Cordell Green,
A. Coglio,
2005,
VSTTE.