您要查找的是不是:
- extended completeness theorem 广义完全性定理
- The compactness theorem first appeared as a lemma in Go"del's proof of the completeness theorem, and it took many years before logicians grasped its significance and began to apply it routinely. 数理逻辑是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。
- An algebraic proof of completeness theorem of first-order logic 一阶逻辑完备性定理的代数证明
- The gymnast extended her arms horizontally. 那女子体操运动员双臂平伸。
- It is a barbarous way to extend territory by arms. 以武力扩张领土是一种野蛮的方式。
- Two fomes of STOLZ theorem are given and extend. 给出STOLZ定理的两种形式并把它们进行了推广,讨论了它们的应用。
- 4 When the bypass tray is extended completely 4旁路纸盘完全展开的情况下
- She warmly extended both hands towards us. 她热情地向我们伸出了双手。
- They extended the Queen a warm welcome. 他们热烈欢迎女王。
- The bird extended its wings in flight. 那鸟展翅飞翔。
- The paddy area was extended to900000 mu last year. 去年稻田面积扩大到了90万亩。
- Had an extended vacation in the Alps. 拖长了在阿尔卑斯山的渡假时间
- An extended adventurous voyage or trip. 冒险旅行一次大范围的或冒险的旅行
- He extended his hand in greeting. 他伸出手来表示欢迎。
- The hot weather extended into October. 炎热天气一直持续到十月。
- The Romans extended their conquests to Britain. 罗马人把征服范围扩大到了不列颠。
- Soundness and Completeness Theorems on"Medium"Logic MF (MF) “中介”谓词逻辑演算MF的特征问题
- Cotton acreage may also be extended wherever this is feasible. 在可能条件下,棉花种植面积也将扩大。
- The Whitney graph theorem can be extended to hypergraphs. 惠特尼图定理可以推广到超。
- The lawyer checked the document for its completeness. 律师检查文件是否完整。