共 6 条
[1]
KANT E, 1991, AUTOMATING SOFTWARE, P141
[2]
KANT E, 1986, READINGS ARTIFICIAL, P157
[3]
KELLER R, P KNOWLEDGE BASED SO, P192
[4]
RICH C, 1992, IEEE T SOFTWARE JUN, P451
[5]
SMITH DR, 1985, IEEE T SOFTWARE NOV, P1278
[6]
Wolfram, 1988, SYSTEM DOING MATH CO