共 23 条
[1]
AMBLER AP, 1982, 12TH P INT S IND ROB, P491
[2]
BARNES BH, 1978, APPLIED COMPUTATION
[3]
BJORNER D, 1970, 1970 P AFIPS FALL JO, V37, P477
[4]
Bobrow D.., 1985, QUALITATIVE REASONIN
[6]
FORBUS KD, 1981, AITR615 MIT ART INT
[7]
FRIEDMAN L, 1977, 5TH P INT JOINT C AR, P736
[8]
DEALING WITH WORLD-MODEL-BASED PROGRAMS
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1985, 7 (02)
:334-347
[9]
GINI M, 1985, 8524 U MINN COMP SCI
[10]
GINI M, 1985, 1985 P IEEE C ROB AU