您要查找的是不是:
- Kim B.Bruce gave a system of axioms for second order logic L(Q). Kim B.;Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。
- Coordinating with suppliers for Homologation documentation. 在样件认可过程钟与供应商协调。
- Further on, we can specify an algebra that consists of axioms for commutativity, distributivity, associativity, etc. 进一步的,我们可以定义包含交换律、分配律、结合律等公理的代数。
- Ergo, our first axiom for evaluation: HONOR CARDS ARE WORTH MORE WHEN COMBINED THAN WHEN ISOLATED. 于是,我们第一个估算原则是:大牌组合在一起时比分散时更有价值。
- This paper presents the distance axiom for the axiom of euclidean plane geometry andsome results of betweenness have been proved. 本文用尺公理作为平面欧氏几何公理推出n个与顺序有关的命题
- For several years his theory held the field. 几年来他的理论一直保持着权威地位。
- That seer is famous for his theory. 那个预言家以他的理论而出名。
- The pith of that theory is serving for people. 那个理论的精髓是为人民服务。
- We put forward mathematical abstraction for measurement of risk,gave ideal model and axiom for both static and dynamic measurement and summarized all kinds of calculation method for them. 本文给出了风险度量的抽象化教学方法,介绍静态风险度量和动态风险度量的数学描述和公理体系,并且总结了已有的计算方法。
- A bowl of hot chicken soup is good for you. 喝一碗热鸡汤对你有好处。
- Are you willing to stand surety for your brother? 你愿意当你弟弟的保证人吗?
- I groped for the light switch in the dark room. 我在黑暗的房间里摸索着找电灯开关。
- Homology Theory: An Introduction to Algebraic Topology, JamesW. Vick 同调论:代数拓扑简介
- It is very unwise for the girl to marry him. 这女孩嫁给他是很不明智的。
- She had to scrimp and save to pay for her holiday. 她不得不为付假期的费用而苦苦攒钱。
- He took out a fire insurance policy for his house. 他为自己的房子办理了一份火险保险单。
- He was had up for dangerous driving. 他因危险驾驶而被控告。
- He's been in and out of prison for years. 他多年来屡次进出监狱。
- That lucky guy is a choice pickup for the girls. 那位幸运的男孩是女孩子们想把上的人。
- The boy got a good beating for breaking the window. 那男孩因打碎窗玻璃而被狠狠打了一顿。