网站首页  词典首页

请输入您要查询的英文单词:

 

单词 subformulas
释义

subformulas

  • 网络子公式
1.
子公式
设 X 是在采纳子公式(subformulas)下闭合的公式的集合。模型 <W,R,<math>\Vdash</math>> 的 X-过滤是从W 到模型 <W’,R’,<…
baike.baidu.com

例句

随便看

 

英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/2 11:52:19