共 244 条
[81]
GELFOND M, 1993, WORKSHOP LOGIC PROGR
[82]
GELFOND M, 1986, P ACM SIGACT SIGMOND, P133
[83]
GELFOND M, 1993, STRATIFICATION EXTEN
[84]
GELFOND M, 1991, TR912 U TEX TECHN RE
[85]
GELFOND M, 1993, 2ND P INT WORKSH LOG, P397
[86]
GELFOND M, 1989, LECTURE NOTES ARTIFI, V346, P176
[87]
Gelfond M., 1992, P JOINT INT C S LOG, P559
[88]
GELFOND M, 1991, 2ND P INT C PRINC KN, P230
[89]
GELFOND M, 1987, P AAAI 87, P207
[90]
GELFOND M, 1992, ANN MATH ARTIFICIAL