L. Dixon
发表
A. Bundy,
A. Smaill,
L. Dixon,
2009
.
David von Oheimb,
T. Nipkow,
Gerwin Klein,
1999
.
Stephan Merz,
T. Mossakowski,
P. Fontaine,
2007
.
A. Bundy,
L. Dixon,
2022
.
A. Bundy,
A. Smaill,
L. Dixon,
2022
.
A. Bundy,
L. Dixon,
2017
.
Lucas Dixon,
L. Dixon,
2006
.
Alan Bundy,
Lucas Dixon,
Moa Johansson,
2006,
Reasoning, Action and Interaction in AI Theories and Systems.
Aleks Kissinger,
Lucas Dixon,
A. Kissinger,
2010,
Mathematical Structures in Computer Science.
Alan Bundy,
Jacques D. Fleuriot,
Lucas Dixon,
2006,
CLASE.
Alan Bundy,
Lucas Dixon,
Omar Montano-Rivas,
2012,
Expert Syst. Appl..
Alan Bundy,
Lucas Dixon,
Moa Johansson,
2011,
Journal of Automated Reasoning.
Alan Smaill,
Lucas Dixon,
Tracy Tsang,
2009,
J. Log. Lang. Inf..
Lucas Dixon,
Ross Duncan,
L. Dixon,
2009,
Annals of Mathematics and Artificial Intelligence.
Alan Bundy,
Lucas Dixon,
Moa Johansson,
2010,
Verification, Induction, Termination Analysis.
Alan Bundy,
Lucas Dixon,
Moa Johansson,
2010,
ITP.
Jacques D. Fleuriot,
Lucas Dixon,
L. Dixon,
2004,
TPHOLs.
Alan Bundy,
Lucas Dixon,
Moa Johansson,
2010
.
A. Bundy,
R. McCasland,
L. Dixon,
2010
.
Alan Bundy,
Lucas Dixon,
Omar Montano-Rivas,
2010,
MICAI.
Robert Atkey,
Andrew Ireland,
Lucas Dixon,
2010,
WING@ETAPS/IJCAR.
Jacques D. Fleuriot,
Lucas Dixon,
L. Dixon,
2003,
CADE.
Jacques D. Fleuriot,
Lucas Dixon,
L. Dixon,
2006,
J. Appl. Log..
Jacques D. Fleuriot,
A. Bundy,
L. Dixon,
2006,
CLASE.
Georges Gonthier,
J. Meseguer,
S. Owre,
2006
.
Alan Bundy,
Bin Yang,
Alan Smaill,
2005,
CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid, 2005..
A. Bundy,
L. Dixon,
Moa Johansson,
2011
.
Alan Bundy,
Lucas Dixon,
Moa Johansson,
2010
.
A. Bundy,
L. Dixon,
Moa Johansson,
2009
.