Andrew Ireland
发表
Alan Bundy,
Andrew Ireland,
A. Manning,
1993
.
Andrew Ireland,
.
Andrew Ireland,
Jamie Stark,
1997
.
Bill J. Ellis,
Andrew Ireland,
Andrew Cook,
2022
.
Andrew Ireland,
2022
.
Andrew Ireland,
G. Grov,
2010
.
A. Clark,
S. Colton,
A. Pease,
2007
.
S. Colton,
A. Pease,
A. Smaill,
2009
.
Andrew Ireland,
M. Giese,
L. Kovács,
2010
.
Alan Bundy,
Andrew Ireland,
Dieter Hutter,
2005
.
Andrew Ireland,
Grant Grr,
2022
.
Andrew Ireland,
M. Giese,
L. Kovács,
2010
.
Alan Bundy,
Andrew Ireland,
Dieter Hutter,
2005
.
Alan Bundy,
Andrew Ireland,
Dieter Hutter,
2005
.
Alan Bundy,
Andrew Ireland,
Dieter Hutter,
2005
.
Alan Bundy,
Joe Hurd,
Andrew Ireland,
2006
.
Alan Bundy,
Andrew Ireland,
Dieter Hutter,
2005
.
Alan Bundy,
Andrew Ireland,
Dieter Hutter,
2005
.
A. Bundy,
Andrew Ireland,
1999
.
Andrew Ireland,
Andrew Cook,
2022
.
A. Bundy,
Andrew Ireland,
R. Monroy,
2007
.
Abdur Rakib,
Michael Fisher,
Alexander Bolotov,
2008
.
Andrew Ireland,
Madiha Jami,
Andrew Ireland,
2014,
VSTTE.
Gudmund Grov,
Andrew Ireland,
Rajiv Murali,
2015,
NFM.
Mike Jackson,
Andrew Ireland,
Gordon Reid,
1999,
Formal Aspects of Computing.
Alan Bundy,
Andrew Ireland,
Dieter Hutter,
2005,
Cambridge tracts in theoretical computer science.
Andrew Ireland,
Benjamin Gorry,
Peter J. B. King,
2008,
ICSC 2008.
Andrew Ireland,
Peter J. B. King,
Greg Michaelson,
1997
.
Andrew Ireland,
Jamie Stark,
Andrew Ireland,
2001,
Annals of Mathematics and Artificial Intelligence.
Andrew Ireland,
Andrew Ireland,
Dr Ewen Maclean,
2008
.
Frank van Harmelen,
Alan Bundy,
Andrew Ireland,
1993,
Artif. Intell..
Andrew Ireland,
Andrew Ireland,
2006,
21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).
Andrew Ireland,
Roderick Chapman,
Bill J. Ellis,
2006,
Journal of Automated Reasoning.
Alan Bundy,
Andrew Ireland,
A. Bundy,
1999,
Journal of Functional Programming.
Andrew Ireland,
Andrew Ireland,
1992,
LPAR.
Siani Baker,
Andrew Ireland,
Alan Smaill,
1992,
LPAR.
Andrew Ireland,
2016
.
Andrew Ireland,
Andrew Ireland,
2022
.
Alan Bundy,
Andrew Ireland,
Raúl Monroy,
1994,
LPAR.
Andrew Ireland,
Jamie Stark,
Andrew Ireland,
1999,
14th IEEE International Conference on Automated Software Engineering.
Andrew Ireland,
Jamie Stark,
Andrew Ireland,
2006,
Automated Software Engineering.
Andrew Ireland,
Greg J. Michaelson,
Norman Scaife,
2005,
Formal Aspects of Computing.
Simon Colton,
Ramin Ramezani,
Gudmund Grov,
2010
.
Andrew Ireland,
Andrew Ireland,
1996,
Journal of Automated Reasoning.
Gudmund Grov,
Michael J. Butler,
Andrew Ireland,
2013,
Sci. Comput. Program..
Gudmund Grov,
Andrew Ireland,
Andrew Ireland,
2012,
WING@ETAPS/IJCAR.
Robert Atkey,
Andrew Ireland,
Lucas Dixon,
2010,
WING@ETAPS/IJCAR.
Gudmund Grov,
Andrew Ireland,
Greg J. Michaelson,
2008,
SAC '08.
Gudmund Grov,
Andrew Ireland,
Greg J. Michaelson,
2006,
IFL.
Gudmund Grov,
Andrew Ireland,
Kevin Hammond,
2005
.
Gudmund Grov,
Andrew Ireland,
Maria Teresa Llano,
2012,
ABZ.
Andrew Ireland,
Andrew Ireland,
2005,
VSTTE.
Simon Colton,
Gudmund Grov,
Andrew Ireland,
2016,
ABZ.
Andrew Ireland,
2007,
AFM '07.