“斯行健”的概念、定义、翻译、参考文献-科学参考

单词	斯行健
释义	斯行健 Encyclopedia 理学人物释 Si Xingjian斯行健（1901-03-11～1964-07-19）中国地质学家、古植物学家、地层学家。字天石。理学〔国内著名地质学家〕释 Si Xingjian斯行健（1901-03-11～1964-07-19）中国古生物学家，中国古植物研究的先行者。
随便看	quantification theory quantified quantified Boolean formula quantified Boolean formula, QBF quantified propositional form quantified sentence quantified system quantified system analysis quantifier quantifier axiom quantifier contraction theorem quantifier elimination quantifier elimination; elimination of quantifiers quantifier-free formula quantifier logic quantifier raising quantifier rule quantifier scope quantify quantify existentially to quantifying quantifying symbol quantile quantile difference quantile estimation

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。