请输入您要查询的字词:
单词
Xu Ziling
释义
Xu Ziling
Encyclopedia
文学
【诗人】
释
Xu Ziling
徐子苓
(1812~1876)中国近代诗人。字叔西,一字叔伟,号毅甫,晚号龙泉老牧,又自署默道人、南阳子。
随便看
propositional
propositional algebra
propositional attitude
propositional attitudes
propositional axiom
propositional calculus
propositional connective
propositional constant
propositional form
propositional formula
propositional fragment
propositional function
propositional inference
propositional intermediate logic
propositional logic
propositional mu-calculus
propositional quantifier
propositional representation
propositional system
propositional value
propositional variable
propositional variable; sentential variable
propositional μ-calculus
Proposition Bank
proposition bank
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/7/30 11:30:18