Roger Hale
发表
John Herbert,
Jifeng He,
Jonathan P. Bowen,
1995
.
David Milward,
James Thomas,
Roger Hale,
2005
.
M. Manjunathaiah,
Hussein Zedan,
Antonio Cau,
2002,
Des. Autom. Embed. Syst..
Roger Hale,
R. Hale,
1987,
Temporal Logic in Specification.
Roger Hale,
R. Hale,
1987
.
David Milward,
William Hayes,
James Thomas,
2005,
Comparative and functional genomics.
Carl Hewitt,
Brian Cantwell Smith,
Irene Greif,
1974,
Symposium on Programming.
Roger Hale,
2005,
Drug discovery today.
Akinori Yonezawa,
Akinori Yonezawa,
Roger Hale,
1974
.
Ben C. Moszkowski,
Roger Hale,
R. Hale,
1987,
PARLE.
Roger Hale,
1991,
1991., International Workshop on the HOL Theorem Proving System and Its Applications.