共 41 条
[1]
ALKHAZOV TG, 1976, KINET KATAL, V17, P434
[2]
ARAKI M, 1972, SHOKUBAI, V14, P47
[3]
BALIST PA, 1967, J CATAL, V7, P33
[4]
BALIST PA, 1966, J CATAL, V5, P55
[6]
Barr A., 1981, HDB ARTIFICIAL INTEL, V1
[7]
BRATKO I, 1986, PROLOG PROGRAMMING A, P314
[8]
BUNDY A, 1986, CATALOGUE ARTIFICIAL
[9]
Clocksin W., 1987, PROGRAMMING PROLOG
[10]
DOWDEN DA, 1967, CHEM ENG PROGR S SER, V63, P90