共 23 条
[1]
Al-Taani A. T., 2005, IEC PRAGUE 05, P457
[2]
Alonso J. A., 1989, P 5 C NAT LANG FORM, P307
[3]
Arnold E., 2011, J SYMB COMPUT, V46
[6]
CHEN PJ, 2014, J APPL SCI, V14, P348, DOI DOI 10.3923/jas.2014.348.354
[7]
Clark K.L., 1982, Machine Intelligence, V10, P455
[9]
Johnson H. E., 1983, Journal of Forth Application and Research, V1, P7
[10]
Kapur D., 1985, P 9 INT JOINT C ART, V2, P1146