共 38 条
[1]
AKKIRAJU R, 2005, FRAMEWORKS SEMANTICS
[2]
BELL D, 2005, OTM 2005 SWWS 2005, V3662, P856
[4]
BLYTHE J, 2003, J GRID COMPUT, V1, P9
[7]
Chen LM, 2003, LECT NOTES COMPUT SC, V2870, P319
[9]
DAGA A, 2005, P 38 HAW INT C SYST
[10]
Frege Gottlob, 1974, The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number