“Yu Shiwen”的概念、定义、翻译、参考文献-科学参考

单词	Yu Shiwen
释义	Yu Shiwen Encyclopedia 文学﹝人物条﹞释 Yu Shiwen俞士汶（1938-12-08～2021-11-04）中国计算语言学家。1938年12月8日出生于安徽省宣城市，2021年11月4日病逝于北京。艺术学〔戏曲教育家〕释 Yu Shiwen于世文（1924～2003）中国现代京剧演员、教师。原名学文。
随便看	quantification of safety management 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

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