1) os-Tarski theorem
os-Tarski定理
1.
■os-Tarski theorem for polyadic modal logic over finite structures
多元模态逻辑在有限模型语义下的■os-Tarski定理
2) Sturm-Torski theorem
Sturm-Tarski定理
3) Tarski's fixed point theorem
Tarski不动点定理
4) Os-Os dating method
Os-Os法定年
6) OS-CFAR processing
OS-CFAR处理
补充资料：[3-(aminosulfonyl)-4-chloro-N-(2.3-dihydro-2-methyl-1H-indol-1-yl)benzamide]
分子式：C16H16ClN3O3S
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条