共 46 条
[2]
BARR M, 1980, LECTURE NOTES MATH, V752
[3]
BARR M, 1991, FUZZY MODELS LINEAR
[4]
BLUTE R, 1991, NATURAL DEDUCTION CO
[5]
BLUTE R, 1991, LECTURE NOTES COMPUT, V530
[6]
BLUTE R, 1992, STAR AUTONOMOUS HYPE
[7]
BLUTE R, 1991, THESIS U PENNSYLVANI
[8]
BREAZUTANNEN V, 1989, LOGIC COMPUTER SCI, P112
[9]
COCKETT R, 1991, P S APPLICATIONS CAT
[10]
CURIEN PL, IN PRESS MATH STRUCT