英语词汇“正式系统算术化”的翻译、意思、用法、释义-英汉汉英词典

单词	正式系统算术化
释义	正式系统算术化arithmetization of formal system
随便看	1843)--gymnocanthus intermedius (temminck & schlegel--英：whip sculpin 1843)--hemigrammocapoeta nana (heckel 1843--hemipristis agassiz 1843--hemiscyllium trispeculare richardson 1843--heterotis müller 1843l 1843)--labiobarbus ocellatus (heckel 1843)--leuciscus turskyi (heckel 1843--mormyrops müller 1843)-- mud blenny--congrogadus subducens (richardson 1843--muraenesox mcclelland 1843--osteobrama heckel 1843)--pachyurus grunniens (jardine & schomburgk 1843--pagrus auriga valenciennes 1843)--parapercis pulchella (temminck & schlegel--harlequin sand smelt 1843)--parapercis sexfasciata (temminck & schlegel--saddled weever 1843)--pentapodus emeryii (richardson 1843--phoxinellus heckel 1843--polynemus multifilis temminck & schlegel 1843)--psueodphoxinus zeregi (heckel 1843--sicyases sanguineus müller & troschel 1843--sillago (parasillago) japonuca temminck & schlegel--英：japanese whiting 1843)--sparus auriga (valenciennes 1843)--taractes longipinnis (lowe 1843--taractes lowe