您要查找的是不是：
- Isabelle is a logic framework used to construct theorem provers. Isabelle/HOL, which came from Isabelle, is a theorem prover with mature functions. Isabelle是一种用来构造交互式定理证明器的逻辑框架,由它构造的Isabelle/HOL是一种功能完备的定理证明系统。
- A construction theorem for such semigroup is obtained. 给出该类半群的一个构造定理.
- A new construction theorem for orthodox semigroups with inverse transve. 本文给出了具有逆断面的纯正半群的一个新的构造定理。
- In this paper, we discuss the basic nature of regular semigroups containing middle units and give a construction theorem for it. 摘要讨论了含有中间单位的正则半群的一些基本性质，并给出该类半群的一个结构定理。
- The article uses the proving of deduction theorem to give general program of construction theorem proving, and adding a piece of simplification command. The program is gotten strict and exercisable. 本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序，并增加了一条简化命令，使该程序既严格又具有实际可操作性。
- He put forward a constructive suggestion. 他提出了一个建设性的建议。
- It took them two years to construct the bridge. 他们用了两年时间建这座桥。
- Let us restate the assertions above as a theorem. 我们把上述的断言重新表述为一个定理。
- The second proof of Theorem 26 is due to James. 定理26的第二个证明属于詹姆斯。
- I can not figure out why they ridicule this constructive suggestion. 我弄不懂他们为什麽嘲笑这一建设性建议。
- Theorem g is called binomial theorem. 定理g称为二项式定理。
- This completes the proof of the convexity theorem. 这就完成了凸定理的证明。
- This is sarcasm, not constructive criticism. 这是讥讽，不是善意的批评。
- constructive theorem [计] 构造定理
- This calculation illustrates the theorem. 这个计算说明了这样一个定理。
- First you have to construct the plot of the novel. 首先你得把小说的情节设计好。
- We call this principle a rule and not a theorem. 我们称这个法则为原理而不称为定理。
- We have thus arrived at the very important theorem. 这样我们就得了一条很重要的法则。
- The theorem may be explained as follows. 这条原理可以这样来阐述。
- Try to be more constructive at next meeting. 下次开会时多讲些建设性的意见。
