您要查找的是不是:
- 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. 那男孩因打碎窗玻璃而被狠狠打了一頓。