標(biāo)桿基準(zhǔn)測試程序數(shù)值benchmarks for science literacy: 科學(xué)素養(yǎng)標(biāo)準(zhǔn); 科學(xué)素養(yǎng)的基準(zhǔn)coq targets and benchmarks: coq目標(biāo)和基準(zhǔn)benchmarkproblem: 基準(zhǔn)問題benchmark(bm): 水準(zhǔn)點benchmarking program: 基準(zhǔn)點測試程序下載手機(jī)詞典可隨時隨地查詞查翻譯