sequent中文什么意思
adj.
1.继续的;连续的;随着…而发生的 (on; upon; to)。
2.继起的;继承的。
3.结果的。
+更多解释...
1.继续的;连续的;随着…而发生的 (on; upon; to)。
2.继起的;继承的。
3.结果的。
+更多解释...
- sequent calculus: 相继式演算
- sequent geosyncline: 槽内地槽; 后继地槽
- sub sequent fire: 后续火
例句与用法
更多例句: 下一页- On new arithmetic method of sequent discrinant analysis and its application
有序判别分析新算法及其应用 - Study on treatment of plasticizer wastewater by sequent biochemical process
高浓度增塑剂生产废水的处理研究 - The sequent and inefficient supervisor system would be set up for hurry
其次,建立起严格、有序、高效的监管体制。 - It has three flagship business units , including sequent china , topasia and adt
集团拥有三大业务旗舰,包括sequent china冠亚及先进数码。 - It has three flagship business units , including sequent china , topasia and adt
集团拥有三大业务旗舰,包括sequentchina 、冠亚及先进数码。
英文释义
形容词- following or accompanying as a consequence; "an excessive growth of bureaucracy, with attendant problems"; "snags incidental to the changeover in management"; "attendant circumstances"; "the period of tension and consequent need for military preparedness"; "the ensuant response to his appeal"; "the resultant savings were considerable"
同义词:attendant, consequent, accompanying, concomitant, incidental, ensuant, resultant - in regular succession without gaps; "serial concerts"
同义词:consecutive, sequential, serial, successive
百科释义
In proof theory, a sequent is a formalized statement of provability that is frequently used when specifying calculi for deduction. In the sequent calculus, the name sequent is used for the construct which can be regarded as a specific kind of judgment, characteristic to this deduction system.
详细百科解释