共 16 条
- [2] Benhamou F, 1999, LOGIC PROGRAMM, P230
- [3] CAICEDO G, 2004, THESIS U VALLE CALI
- [5] CREEMERS T, 1995, 4 PORT SPAN C EL ENG
- [6] CREEMERS T, 1995, 3 INT C EXH PRACT AP
- [7] FUKUYAMA Y, 1995, P IEEE FUZZ IFES C Y
- [8] FUKUYAMA Y, 2000, IEEE PES WINT M SING
- [9] Interval arithmetic: From principles to implementation [J]. JOURNAL OF THE ACM, 2001, 48 (05) : 1038 - 1068