M. V. Emden
发表
M. H. van Emden,
Timothy J. Hickey,
Qun Ju,
2001,
JACM.
M. V. Emden,
2018
.
M. Bezem,
M. V. Emden,
Rajiv Bagai,
1990
.
M. V. Emden,
2004
.
M. V. Emden,
1996
.
W. Older,
M. V. Emden,
G. M. Swinkels,
2015
.
K. A. Ross,
A. V. Gelder,
M. V. Emden,
2008
.
Using the duality principle to improve lower bounds for the global minimum in nonconvex optimization
M. V. Emden,
2004
.
M. H. van Emden,
Jimmy Ho-Man Lee,
M. V. Emden,
1993,
J. Log. Program..
Robert A. Kowalski,
M. H. van Emden,
R. Kowalski,
1976,
JACM.
M. H. van Emden,
M. V. Emden,
2014,
ArXiv.
M. H. van Emden,
M. V. Emden,
1996,
Constraints.
Paul A. Strooper,
M. H. van Emden,
M. V. Emden,
1993,
Annals of Mathematics and Artificial Intelligence.
M. V. Emden,
1972
.
M. H. van Emden,
M. V. Emden,
M. H. Emden,
1999,
Constraints.
Douglas Stott Parker,
M. H. van Emden,
Mantis H. M. Cheng,
1995,
ICLP.
M. H. van Emden,
Timothy J. Hickey,
Huan Wu,
1998,
CP.
M. H. van Emden,
M. V. Emden,
2011,
Sci. Comput. Program..
M. H. van Emden,
M. V. Emden,
1977,
Formal Description of Programming Concepts.
M. H. van Emden,
Timothy J. Hickey,
Zhe Qju,
2000,
Reliab. Comput..
M. H. van Emden,
Belaid Moa,
M. V. Emden,
2006,
12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006).
M. H. van Emden,
M. V. Emden,
M. H. Emden,
1986,
J. Log. Program..