共 31 条
[2]
[Anonymous], NATURE
[3]
Validating the unit correctness of spreadsheet programs
[J].
ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS,
2004,
:439-448
[4]
Babout M., 1990, European Journal of Physics, V11, P163, DOI 10.1088/0143-0807/11/3/007
[5]
Barber D, 2012, Bayesian reasoning and machine learning
[7]
On physically similar systems, illustrations of the use of dimensional equations
[J].
PHYSICAL REVIEW,
1914, 4 (04)
:345-376
[9]
Carlson Donald E., 1978, SOME NEW RESULTS DIM
[10]
Chen F, 2003, LECT NOTES COMPUT SC, V2706, P197