prenex normal form前: front束: bind; tie標(biāo)準(zhǔn)型: normalized form; standard fo ...標(biāo)準(zhǔn)型: normalized form; standard form氫束標(biāo)準(zhǔn): hydrogen beam standard下載手機(jī)詞典可隨時隨地查詞查翻譯