M. Maher
发表
Guido Governatori,
Grigoris Antoniou,
David Billington,
1999
.
Benjamin N. Grosof,
D. M. Reeves,
R. Reiter,
2001
.
Michael Maher,
M. Maher,
1996
.
M. Maher,
RelationalDatabasesMi hael Maher,
Junhu WangCIT,
2022
.
M. Maher,
D. Billington,
2022
.
Michael J. Maher,
Volker Weispfenning,
Alexander Bockmayr,
2001,
Handbook of Automated Reasoning.
Frédéric Mesnard,
M. Maher,
1996
.