共 80 条
[1]
[Anonymous], INT J CHEM ENG
[2]
[Anonymous], P INT C INFR E BUS E
[3]
[Anonymous], 1990, 610121990 IEEE, DOI DOI 10.1109/IEEESTD.1990.101064
[4]
Arpirez J., 1998, P WORKSHOP APPL ONTO, P16
[5]
Baader F, 2003, DESCRIPTION LOGIC HANDBOOK: THEORY, IMPLEMENTATION AND APPLICATIONS, P43
[6]
Batres R, 2005, COMP AID CH, V20a-20b, P1543
[9]
BAYER B, 2003, FORTSCHRITT BERICHTE, V3
[10]
BAYER B, 2007, METHOD ENG TXB